Searched refs:gbpages_bit_rsvd (Results 1 – 1 of 1) sorted by relevance
4524 u64 gbpages_bit_rsvd = 0; in __reset_rsvds_bits_mask() local4532 gbpages_bit_rsvd = rsvd_bits(7, 7); in __reset_rsvds_bits_mask()4587 gbpages_bit_rsvd | in __reset_rsvds_bits_mask()4596 gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) | in __reset_rsvds_bits_mask()