Searched refs:kernel_rpl (Results 1 – 4 of 4) sorted by relevance
1310 pv_info.kernel_rpl = 1; in xen_start_kernel()1312 pv_info.kernel_rpl = 0; in xen_start_kernel()1314 pv_info.kernel_rpl = 0; in xen_start_kernel()
284 .kernel_rpl = 0,
71 unsigned int kernel_rpl; member
157 #define get_kernel_rpl() (pv_info.kernel_rpl)
