get_kernel_rpl    722 include/asm-x86/paravirt.h #define get_kernel_rpl()  (pv_info.kernel_rpl)
get_kernel_rpl    183 include/asm-x86/segment.h #define get_kernel_rpl()  0