Searched refs:vmx_paddr (Results 1 – 3 of 3) sorted by relevance
37 addr64_t vmx_paddr(void *);
51 vmx_paddr(void *va) in vmx_paddr() function
181 vmxon_region_paddr = vmx_paddr(cpu->vmxon_region); in vmx_on()