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