Searched refs:pps_mask (Results 1 – 1 of 1) sorted by relevance
295 uint64_t tableaddr, pps_mask, align, entry, index; in granule_protection_check() local319 pps_mask = MAKE_64BIT_MASK(0, pps); in granule_protection_check()358 if (paddress & ~pps_mask) { in granule_protection_check()367 if (tableaddr & ~pps_mask) { in granule_protection_check()401 if (tableaddr & (~pps_mask | align)) { in granule_protection_check()