Searched refs:vcpu_to_vnode (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/sys/external/mit/xen-include-public/dist/xen/include/public/ | ||
| H A D | memory.h | 706 } vcpu_to_vnode; member |
| H A D | domctl.h | 950 XEN_GUEST_HANDLE_64(uint) vcpu_to_vnode; |