Searched refs:vmx_pfree (Results 1 – 3 of 3) sorted by relevance
38 void vmx_pfree(void *);
57 vmx_pfree(void *va) in vmx_pfree() function
263 vmx_pfree(cpu->vmxon_region); in vmx_free_vmxon_regions()