Home
last modified time | relevance | path

Searched refs:kernel_rpl (Results 1 – 5 of 5) sorted by relevance

/linux-4.4.14/arch/x86/xen/
Denlighten.c1640 pv_info.kernel_rpl = 1; in xen_start_kernel()
1642 pv_info.kernel_rpl = 0; in xen_start_kernel()
1644 pv_info.kernel_rpl = 0; in xen_start_kernel()
/linux-4.4.14/arch/x86/kernel/
Dparavirt.c316 .kernel_rpl = 0,
/linux-4.4.14/arch/x86/include/asm/
Dparavirt_types.h65 unsigned int kernel_rpl; member
Dparavirt.h130 #define get_kernel_rpl() (pv_info.kernel_rpl)
/linux-4.4.14/arch/x86/lguest/
Dboot.c1414 pv_info.kernel_rpl = 1; in lguest_init()