Searched refs:kernel_rpl (Results 1 – 7 of 7) sorted by relevance
88 unsigned int kernel_rpl; member102 return pv_info.kernel_rpl; in get_kernel_rpl()
1627 pv_info.kernel_rpl = 1; in xen_start_kernel()1629 pv_info.kernel_rpl = 0; in xen_start_kernel()1631 pv_info.kernel_rpl = 0; in xen_start_kernel()
314 .kernel_rpl = 0,
65 unsigned int kernel_rpl; member
124 #define get_kernel_rpl() (pv_info.kernel_rpl)
1419 pv_info.kernel_rpl = 1; in lguest_init()
39 .kernel_rpl = 0,