Searched refs:compat_pv_cr4_mask (Results 1 – 1 of 1) sorted by relevance
716 static unsigned long __read_mostly pv_cr4_mask, compat_pv_cr4_mask; variable730 pv_cr4_mask = compat_pv_cr4_mask = common_mask; in init_pv_cr4_masks()745 unsigned long mask = is_pv_32bit_vcpu(v) ? compat_pv_cr4_mask : pv_cr4_mask; in pv_guest_cr4_fixup()
Completed in 6 milliseconds