kernel_rpl        157 arch/x86/include/asm/paravirt.h #define get_kernel_rpl()  (pv_info.kernel_rpl)
kernel_rpl         71 arch/x86/include/asm/paravirt_types.h 	unsigned int kernel_rpl;
kernel_rpl        284 arch/x86/kernel/paravirt.c 	.kernel_rpl = 0,
kernel_rpl       1312 arch/x86/xen/enlighten_pv.c 	pv_info.kernel_rpl = 1;
kernel_rpl       1314 arch/x86/xen/enlighten_pv.c 		pv_info.kernel_rpl = 0;
kernel_rpl       1316 arch/x86/xen/enlighten_pv.c 	pv_info.kernel_rpl = 0;