Searched refs:efer (Results 1 – 12 of 12) sorted by relevance
| /xen/xen/arch/x86/hvm/svm/ |
| A D | svmdebug.c | 109 uint64_t efer = vmcb_get_efer(vmcb); in svm_vmcb_isvalid() local
117 if ( !(efer & EFER_SVME) ) in svm_vmcb_isvalid()
118 PRINTF("EFER: SVME bit not set (%#"PRIx64")\n", efer); in svm_vmcb_isvalid()
128 ((!(cr4 & X86_CR4_PAE) || (efer & EFER_LMA)) && (cr3 & 0xfe0)) || in svm_vmcb_isvalid()
129 ((efer & EFER_LMA) && in svm_vmcb_isvalid()
145 if ( efer & ~EFER_KNOWN_MASK ) in svm_vmcb_isvalid()
146 PRINTF("EFER: unknown bits are not zero (%#"PRIx64")\n", efer); in svm_vmcb_isvalid()
148 if ( hvm_efer_valid(v, efer, -1) ) in svm_vmcb_isvalid()
149 PRINTF("EFER: %s (%"PRIx64")\n", hvm_efer_valid(v, efer, -1), efer); in svm_vmcb_isvalid()
151 if ( (efer & EFER_LME) && (cr0 & X86_CR0_PG) ) in svm_vmcb_isvalid()
[all …]
|
| /xen/xen/arch/x86/hvm/ |
| A D | domain.c | 191 if ( (regs->efer & EFER_LMA) && !(regs->efer & EFER_LME) ) in arch_set_info_hvm_guest()
194 regs->efer); in arch_set_info_hvm_guest()
212 v->arch.hvm.guest_efer = regs->efer; in arch_set_info_hvm_guest()
242 if ( !(regs->efer & EFER_LME) ) in arch_set_info_hvm_guest()
245 regs->efer); in arch_set_info_hvm_guest()
263 v->arch.hvm.guest_efer = regs->efer; in arch_set_info_hvm_guest()
|
| /xen/xen/include/public/hvm/ |
| A D | hvm_vcpu.h | 52 uint64_t efer; member
106 uint64_t efer; member
|
| /xen/xen/include/asm-x86/ |
| A D | msr.h | 242 DECLARE_PER_CPU(uint64_t, efer);
245 return this_cpu(efer); in read_efer()
250 this_cpu(efer) = val; in write_efer()
|
| /xen/xen/arch/x86/efi/ |
| A D | efi-boot.h | 233 u64 cr4 = XEN_MINIMAL_CR4 & ~X86_CR4_PGE, efer; in efi_arch_post_exit_boot() local
240 rdmsrl(MSR_EFER, efer); in efi_arch_post_exit_boot()
241 efer |= trampoline_efer; in efi_arch_post_exit_boot()
242 wrmsrl(MSR_EFER, efer); in efi_arch_post_exit_boot()
265 : [rip] "=&r" (efer/* any dead 64-bit variable */), in efi_arch_post_exit_boot()
|
| /xen/tools/debugger/kdd/ |
| A D | kdd.c | 312 uint64_t efer, entry = 0, mask, pa; in v2p() local
316 || kdd_rdmsr(s->guest, cpuid, 0xc0000080, &efer) != 0) in v2p()
321 lma = !!(efer & 0x00000400); in v2p()
595 uint64_t efer; in get_os_info_64() local
598 if (kdd_rdmsr(s->guest, s->cpuid, 0xc0000080, &efer) || !(efer & (1 << 8))) in get_os_info_64()
|
| A D | kdd.h | 456 uint64_t efer; // XXX find out where EFER actually goes member
|
| /xen/xen/arch/x86/hvm/vmx/ |
| A D | vmcs.c | 1958 uint64_t efer; in vmcs_dump_vcpu() local
1977 efer = vmr(GUEST_EFER); in vmcs_dump_vcpu()
1978 else if ( vmx_read_guest_loadonly_msr(v, MSR_EFER, &efer) ) in vmcs_dump_vcpu()
1979 efer = read_efer(); in vmcs_dump_vcpu()
2017 cpu_has_vmx_efer ? "VMCS" : "MSR LL", efer, vmr(GUEST_PAT)); in vmcs_dump_vcpu()
|
| /xen/xen/include/asm-x86/hvm/svm/ |
| A D | vmcb.h | 628 VMCB_ACCESSORS(efer, cr)
|
| /xen/xen/arch/x86/ |
| A D | smpboot.c | 334 rdmsrl(MSR_EFER, this_cpu(efer)); in start_secondary()
|
| A D | traps.c | 98 DEFINE_PER_CPU(uint64_t, efer);
|
| A D | setup.c | 895 rdmsrl(MSR_EFER, this_cpu(efer)); in __start_xen()
|
Completed in 824 milliseconds