Searched refs:vcpu_to_vnode (Results 1 – 2 of 2) sorted by relevance
714 } vcpu_to_vnode; member
989 XEN_GUEST_HANDLE_64(uint) vcpu_to_vnode;