GICR_RD_BASE_SIZE
offset += (GICR_RD_BASE_SIZE + GICR_SGI_BASE_SIZE);
count = GICR_RD_BASE_SIZE + GICR_SGI_BASE_SIZE;
(GICR_RD_BASE_SIZE + GICR_SGI_BASE_SIZE);
(GICR_RD_BASE_SIZE + GICR_SGI_BASE_SIZE);
if (reg < GICR_RD_BASE_SIZE) {
(GICR_RD_BASE_SIZE + GICR_SGI_BASE_SIZE);
(GICR_RD_BASE_SIZE + GICR_SGI_BASE_SIZE);
if (reg < GICR_RD_BASE_SIZE) {
GICR_RD_BASE_SIZE + GICR_SGI_BASE_SIZE))
(GICR_RD_BASE_SIZE + GICR_SGI_BASE_SIZE);
(GICR_RD_BASE_SIZE + GICR_SGI_BASE_SIZE);