Searched defs:high_bits_rsvd (Results 1 – 1 of 1) sorted by relevance
4700 u64 high_bits_rsvd; in __reset_rsvds_bits_mask() local4798 u64 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51); in __reset_rsvds_bits_mask_ept() local