Searched refs:vmm_get_host_efer (Results 1 – 3 of 3) sorted by relevance
62 uint64_t vmm_get_host_efer(void);
113 vmm_get_host_efer(void) in vmm_get_host_efer() function
798 vmcs_write(VMCS_HOST_IA32_EFER, vmm_get_host_efer()); in vmx_vminit()