Searched refs:apic_base_msr (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dx2apic.c19 apic_base_msr_t apic_base_msr; local
20 apic_base_msr.words[0] = x86_rdmsr_low(IA32_APIC_BASE_MSR);
23 apic_base_msr_get_enabled(apic_base_msr) &&
24 apic_base_msr_get_x2apic(apic_base_msr)) {
34 apic_base_msr_t apic_base_msr; local
35 apic_base_msr.words[0] = x86_rdmsr_low(IA32_APIC_BASE_MSR);
37 if (!apic_base_msr_get_enabled(apic_base_msr)) {
43 apic_base_msr = apic_base_msr_set_x2apic(apic_base_msr, 1);
44 x86_wrmsr(IA32_APIC_BASE_MSR, apic_base_msr
[all...]
H A Dapic.c40 apic_base_msr_t apic_base_msr; local
42 apic_base_msr.words[0] = x86_rdmsr_low(IA32_APIC_BASE_MSR);
43 return apic_base_msr_get_base_addr(apic_base_msr);
H A Dxapic.c37 apic_base_msr_t apic_base_msr; local
38 apic_base_msr.words[0] = x86_rdmsr_low(IA32_APIC_BASE_MSR);
40 if (!apic_base_msr_get_enabled(apic_base_msr)) {

Completed in 24 milliseconds