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