PTE_SHARED
#define _PROT_DEFAULT (PTE_TYPE_PAGE | PTE_AF | PTE_SHARED)
#define PTE_MAYBE_SHARED PTE_SHARED
#define PTE_MAYBE_SHARED (lpa2_is_enabled() ? 0 : PTE_SHARED)
ptdesc_t mask = PTE_SHARED;
pgprot_val(protection_map[i]) &= ~PTE_SHARED;
gcs_page_prot &= ~PTE_SHARED;
.mask = PTE_SHARED,
.val = PTE_SHARED,
GUEST_ASSERT_EQ(FIELD_GET(SYS_PAR_EL1_SH, par), PTE_SHARED >> 8); \
pg_attr |= PTE_SHARED;