Searched refs:kernel_rpl (Results 1 – 8 of 8) sorted by relevance
89 unsigned int kernel_rpl; member103 return pv_info.kernel_rpl; in get_kernel_rpl()
40 .kernel_rpl = 2, /* or 1: determin at runtime */57 xen_info.kernel_rpl = rpl; in xen_info_init()97 xen_info.kernel_rpl, in xen_banner()
1401 pv_info.kernel_rpl = 1; in xen_start_kernel()1403 pv_info.kernel_rpl = 0; in xen_start_kernel()1405 pv_info.kernel_rpl = 0; in xen_start_kernel()
310 .kernel_rpl = 0,
65 unsigned int kernel_rpl; member
124 #define get_kernel_rpl() (pv_info.kernel_rpl)
1278 pv_info.kernel_rpl = 1; in lguest_init()
39 .kernel_rpl = 0,