Searched refs:gbpages_bit_rsvd (Results 1 – 1 of 1) sorted by relevance
3623 u64 gbpages_bit_rsvd = 0; in __reset_rsvds_bits_mask() local3631 gbpages_bit_rsvd = rsvd_bits(7, 7); in __reset_rsvds_bits_mask()3679 nonleaf_bit8_rsvd | gbpages_bit_rsvd | in __reset_rsvds_bits_mask()3688 gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) | in __reset_rsvds_bits_mask()