GICR_TYPER_PLPIS
value |= GICR_TYPER_PLPIS;
return !!(gic_read_typer(gic_data_rdist_rd_base() + GICR_TYPER) & GICR_TYPER_PLPIS);