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

/barrelfish-master/include/arch/x86_64/machine/
H A Dspecialreg.h809 #define MSR_KGSBASE 0xc0000102 /* base address of the kernel %gs */ macro

Completed in 81 milliseconds