HomeSort by: relevance | last modified time | path
    Searched defs:oldcr4 (Results 1 - 5 of 5) sorted by relevancy

  /src/sys/dev/nvmm/x86/
nvmm_x86_vmx.c 1679 uint64_t type, gpr, oldcr4, cr4; local in function:vmx_inkernel_handle_cr4
1703 oldcr4 = vmx_vmread(VMCS_GUEST_CR4);
1704 if ((oldcr4 ^ gpr) & CR4_TLB_FLUSH) {
nvmm_x86_vmx.c 1679 uint64_t type, gpr, oldcr4, cr4; local in function:vmx_inkernel_handle_cr4
1703 oldcr4 = vmx_vmread(VMCS_GUEST_CR4);
1704 if ((oldcr4 ^ gpr) & CR4_TLB_FLUSH) {
nvmm_x86_vmx.c 1679 uint64_t type, gpr, oldcr4, cr4; local in function:vmx_inkernel_handle_cr4
1703 oldcr4 = vmx_vmread(VMCS_GUEST_CR4);
1704 if ((oldcr4 ^ gpr) & CR4_TLB_FLUSH) {
nvmm_x86_vmx.c 1679 uint64_t type, gpr, oldcr4, cr4; local in function:vmx_inkernel_handle_cr4
1703 oldcr4 = vmx_vmread(VMCS_GUEST_CR4);
1704 if ((oldcr4 ^ gpr) & CR4_TLB_FLUSH) {
nvmm_x86_vmx.c 1679 uint64_t type, gpr, oldcr4, cr4; local in function:vmx_inkernel_handle_cr4
1703 oldcr4 = vmx_vmread(VMCS_GUEST_CR4);
1704 if ((oldcr4 ^ gpr) & CR4_TLB_FLUSH) {

Completed in 146 milliseconds