Searched refs:high_bits_rsvd (Results 1 – 1 of 1) sorted by relevance
4700 u64 high_bits_rsvd; in __reset_rsvds_bits_mask() local4708 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 62); in __reset_rsvds_bits_mask()4710 high_bits_rsvd = pa_bits_rsvd & rsvd_bits(0, 51); in __reset_rsvds_bits_mask()4714 high_bits_rsvd |= rsvd_bits(63, 63); in __reset_rsvds_bits_mask()4745 high_bits_rsvd | in __reset_rsvds_bits_mask()4748 rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd; /* PDE */ in __reset_rsvds_bits_mask()4749 rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd; /* PTE */ in __reset_rsvds_bits_mask()4750 rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd | in __reset_rsvds_bits_mask()4756 rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd | in __reset_rsvds_bits_mask()4763 rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd | in __reset_rsvds_bits_mask()[all …]
