get_kernel_rpl    124 arch/x86/include/asm/paravirt.h #define get_kernel_rpl()  (pv_info.kernel_rpl)
get_kernel_rpl    192 arch/x86/include/asm/segment.h #define get_kernel_rpl()  0