Searched refs:x86_get_cr4 (Results 1 – 2 of 2) sorted by relevance
755 #define x86_get_cr4() rcr4() macro763 #define x86_get_cr4() rcr4() macro
2123 vmx_vmwrite(VMCS_HOST_CR4, x86_get_cr4()); in vmx_vcpu_guest_misc_enter()3374 ret = vmx_check_cr(x86_get_cr4() | CR4_VMXE, vmx_cr4_fixed0, in vmx_ident()3493 cr4 = x86_get_cr4(); in OS_IPI_FUNC()