RD_LOCAL_PENDTABLE_PREALLOCATED
gic_data_rdist()->flags |= RD_LOCAL_PENDTABLE_PREALLOCATED;
gic_data_rdist()->flags & RD_LOCAL_PENDTABLE_PREALLOCATED ?
if (gic_data_rdist()->flags & RD_LOCAL_PENDTABLE_PREALLOCATED) {