Lines Matching refs:maxphyaddr
4278 int maxphyaddr, int level, bool nx, bool gbpages, in __reset_rsvds_bits_mask() argument
4321 rsvd_bits(maxphyaddr, 63) | in __reset_rsvds_bits_mask()
4324 rsvd_bits(maxphyaddr, 62); /* PDE */ in __reset_rsvds_bits_mask()
4326 rsvd_bits(maxphyaddr, 62); /* PTE */ in __reset_rsvds_bits_mask()
4328 rsvd_bits(maxphyaddr, 62) | in __reset_rsvds_bits_mask()
4336 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask()
4342 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask()
4345 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask()
4347 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask()
4349 rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask()
4353 gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) | in __reset_rsvds_bits_mask()
4356 rsvd_bits(maxphyaddr, 51) | in __reset_rsvds_bits_mask()
4376 int maxphyaddr, bool execonly) in __reset_rsvds_bits_mask_ept() argument
4381 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7); in __reset_rsvds_bits_mask_ept()
4383 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7); in __reset_rsvds_bits_mask_ept()
4385 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6); in __reset_rsvds_bits_mask_ept()
4387 rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6); in __reset_rsvds_bits_mask_ept()
4388 rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51); in __reset_rsvds_bits_mask_ept()
4394 rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 29); in __reset_rsvds_bits_mask_ept()
4396 rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 20); in __reset_rsvds_bits_mask_ept()