Searched refs:vmm_host_cr4 (Results 1 – 1 of 1) sorted by relevance
38 static uint64_t vmm_host_efer, vmm_host_pat, vmm_host_cr0, vmm_host_cr4, variable68 vmm_host_cr4 = rcr4() | CR4_PGE; in vmm_host_state_init()80 if (vmm_host_cr4 & CR4_XSAVE) { in vmm_host_state_init()116 return (vmm_host_cr4); in vmm_get_host_cr4()