_PAGE_GCS_RO
PIRx_ELx_PERM_PREP(pte_pi_index(_PAGE_GCS_RO), PIE_R) | \
PIRx_ELx_PERM_PREP(pte_pi_index(_PAGE_GCS_RO), PIE_NONE_O) | \
static ptdesc_t gcs_page_prot __ro_after_init = _PAGE_GCS_RO;