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