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

/seL4-camkes-master/kernel/src/arch/x86/64/model/
H A Dsmp.c21 x86_wrmsr(IA32_KERNEL_GS_BASE_MSR, (word_t)&node_info[cpu_index]);
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h296 x86_wrmsr(IA32_KERNEL_GS_BASE_MSR, base);
301 return x86_rdmsr(IA32_KERNEL_GS_BASE_MSR);
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h33 #define IA32_KERNEL_GS_BASE_MSR 0xC0000102 macro

Completed in 37 milliseconds