PAGE_SIZE_64K
#define GICR_RD_BASE_SIZE PAGE_SIZE_64K
#define GICR_SGI_BASE (1 * PAGE_SIZE_64K)
#define GICR_SGI_BASE_SIZE PAGE_SIZE_64K
#define GICR_VLPI_BASE (2 * PAGE_SIZE_64K)
#define GICR_VLPI_BASE_SIZE PAGE_SIZE_64K
#define GICR_RESERVED_SIZE PAGE_SIZE_64K
page_size = PAGE_SIZE_64K;
case PAGE_SIZE_64K: /* 64KB */
case PAGE_SIZE_64K:
PAGE_SIZE_64K, 0);
case PAGE_SIZE_64K: /* 64KB */
if (!__is_aligned(descr->v3_regs.dist_start, PAGE_SIZE_64K) ||
!__is_aligned(descr->v3_regs.redist_start, PAGE_SIZE_64K) ||
if (descr->v3_regs.dist_size != PAGE_SIZE_64K)
#define GIC_REDIST_SIZE(ncpu) ((ncpu) * 2 * PAGE_SIZE_64K)