Searched refs:pps_mask (Results 1 – 1 of 1) sorted by relevance
296 uint64_t tableaddr, pps_mask, align, entry, index; in granule_protection_check() local320 pps_mask = MAKE_64BIT_MASK(0, pps); in granule_protection_check()359 if (paddress & ~pps_mask) { in granule_protection_check()368 if (tableaddr & ~pps_mask) { in granule_protection_check()402 if (tableaddr & (~pps_mask | align)) { in granule_protection_check()