Searched refs:vmm_get_host_cr0 (Results 1 – 3 of 3) sorted by relevance
63 uint64_t vmm_get_host_cr0(void);
120 vmm_get_host_cr0(void) in vmm_get_host_cr0() function
801 vmcs_write(VMCS_HOST_CR0, vmm_get_host_cr0()); in vmx_vminit()