Searched refs:rdmsr (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/kernel/include/arch/x86_32/
H A Dia32_spaces.h25 * particularly if (as is the case with Barrelfish) rdmsr is an asm
33 volatile uint32_t r = rdmsr(index);
38 volatile uint64_t r = rdmsr(index);
/barrelfish-master/kernel/include/arch/x86/
H A Dia32_spaces.h28 return rdmsr(offset);
39 return rdmsr(offset) & 0xffffffff;
H A Dx86.h49 #define ia32_msr_read_64(_d,_r) rdmsr(_r)
51 #define ia32_msr_read_32(_d,_r) ((uint32_t)rdmsr(_r))
156 static inline uint64_t rdmsr(uint32_t msr_number) function
159 __asm volatile ("rdmsr" : "=a" (eax), "=d" (edx) : "c" (msr_number));
176 wrmsr(msr_number, rdmsr(msr_number) | mask);
/barrelfish-master/kernel/arch/x86_64/
H A Dsvm_vmkit.c75 uint64_t msr_vmcr = rdmsr(MSR_AMD_VMCR);
83 uint64_t msr_efer = rdmsr(MSR_IA32_EFER);
91 msr_efer = rdmsr(MSR_IA32_EFER);
/barrelfish-master/tools/elver/
H A Dboot.S68 rdmsr
/barrelfish-master/tools/weever/
H A Dboot.S161 rdmsr
/barrelfish-master/usr/drivers/cpuboot/arch/x86/
H A Dinit_ap_x86_64.S137 rdmsr
/barrelfish-master/kernel/arch/x86_32/
H A Dinit.c433 uint64_t hwcr = rdmsr(MSR_AMD_HWCR);

Completed in 110 milliseconds