Searched refs:vpid_alloc_failed (Results 1 – 1 of 1) sorted by relevance
214 static u_int vpid_alloc_failed; variable215 SYSCTL_UINT(_hw_vmm_vmx, OID_AUTO, vpid_alloc_failed, CTLFLAG_RD,216 &vpid_alloc_failed, 0, NULL);549 atomic_add_int(&vpid_alloc_failed, 1); in vpid_alloc()