Searched refs:gbpages_bit_rsvd (Results 1 – 1 of 1) sorted by relevance
3999 u64 gbpages_bit_rsvd = 0; in __reset_rsvds_bits_mask() local4007 gbpages_bit_rsvd = rsvd_bits(7, 7); in __reset_rsvds_bits_mask()4062 gbpages_bit_rsvd | in __reset_rsvds_bits_mask()4071 gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) | in __reset_rsvds_bits_mask()