Searched refs:vpid_alloc_failed (Results 1 – 1 of 1) sorted by relevance
182 static u_int vpid_alloc_failed; variable183 SYSCTL_UINT(_hw_vmm_vmx, OID_AUTO, vpid_alloc_failed, CTLFLAG_RD,184 &vpid_alloc_failed, 0, NULL);425 atomic_add_int(&vpid_alloc_failed, 1); in vpid_alloc()