gic_read_typer
val = gic_read_typer(gic_data_rdist_rd_base() + GICR_TYPER);
val = gic_read_typer(gic_data_rdist_rd_base() + GICR_TYPER);
val = gic_read_typer(base + GICR_TYPER);
if (gic_read_typer(its->base + GITS_TYPER) & GITS_TYPER_PTA) {
target = gic_read_typer(gic_data_rdist_rd_base() + GICR_TYPER);
GITS_TYPER_HCC(gic_read_typer(base + GITS_TYPER)))
return !!(gic_read_typer(gic_data_rdist_rd_base() + GICR_TYPER) & GICR_TYPER_PLPIS);
its->typer = gic_read_typer(its_base + GITS_TYPER);
typer = gic_read_typer(ptr + GICR_TYPER);
typer = gic_read_typer(ptr + GICR_TYPER);
u64 typer = gic_read_typer(ptr + GICR_TYPER);