Searched refs:gbpages_bit_rsvd (Results 1 – 1 of 1) sorted by relevance
4282 u64 gbpages_bit_rsvd = 0; in __reset_rsvds_bits_mask() local4290 gbpages_bit_rsvd = rsvd_bits(7, 7); in __reset_rsvds_bits_mask()4344 nonleaf_bit8_rsvd | gbpages_bit_rsvd | in __reset_rsvds_bits_mask()4353 gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) | in __reset_rsvds_bits_mask()
