Lines Matching refs:maxphyaddr
3619 int maxphyaddr, int level, bool nx, bool gbpages, in __reset_rsvds_bits_mask() argument
3662 rsvd_bits(maxphyaddr, 63) | in __reset_rsvds_bits_mask()
3665 rsvd_bits(maxphyaddr, 62); /* PDE */ in __reset_rsvds_bits_mask()
3667 rsvd_bits(maxphyaddr, 62); /* PTE */ in __reset_rsvds_bits_mask()
3669 rsvd_bits(maxphyaddr, 62) | in __reset_rsvds_bits_mask()
3677 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask()
3680 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask()
3682 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask()
3684 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask()
3688 gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) | in __reset_rsvds_bits_mask()
3691 rsvd_bits(maxphyaddr, 51) | in __reset_rsvds_bits_mask()
3710 int maxphyaddr, bool execonly) in __reset_rsvds_bits_mask_ept() argument
3715 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7); in __reset_rsvds_bits_mask_ept()
3717 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6); in __reset_rsvds_bits_mask_ept()
3719 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6); in __reset_rsvds_bits_mask_ept()
3720 rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask_ept()
3725 rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 29); in __reset_rsvds_bits_mask_ept()
3727 rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 20); in __reset_rsvds_bits_mask_ept()