Searched refs:vpid_alloc_failed (Results 1 – 1 of 1) sorted by relevance
217 static u_int vpid_alloc_failed; variable218 SYSCTL_UINT(_hw_vmm_vmx, OID_AUTO, vpid_alloc_failed, CTLFLAG_RD,219 &vpid_alloc_failed, 0, NULL);552 atomic_add_int(&vpid_alloc_failed, 1); in vpid_alloc()