Searched refs:vpid_alloc (Results 1 – 1 of 1) sorted by relevance
525 vpid_alloc(uint16_t *vpid, int num) in vpid_alloc() function1090 vpid_alloc(vpid, VM_MAXCPU); in vmx_init()