Searched refs:vpid_alloc_failed (Results 1 – 1 of 1) sorted by relevance
208 static u_int vpid_alloc_failed; variable209 SYSCTL_UINT(_hw_vmm_vmx, OID_AUTO, vpid_alloc_failed, CTLFLAG_RD,210 &vpid_alloc_failed, 0, NULL);554 atomic_add_int(&vpid_alloc_failed, 1); in vpid_alloc()