Searched refs:vpid_alloc (Results 1 – 1 of 1) sorted by relevance
400 vpid_alloc(uint16_t *vpid, int num) in vpid_alloc() function722 vpid_alloc(vpid, VM_MAXCPU); in vmx_vminit()