RD_LOCAL_LPI_ENABLED
if (gic_data_rdist()->flags & RD_LOCAL_LPI_ENABLED)
gic_data_rdist()->flags |= RD_LOCAL_LPI_ENABLED;
if ((gic_data_rdist()->flags & RD_LOCAL_LPI_ENABLED) ||