| Home | Sort by: relevance | last modified time | path |
| /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) { |