RDIST_FLAGS_PROPBASE_NEEDS_FLUSHING
if (gic_rdists->flags & RDIST_FLAGS_PROPBASE_NEEDS_FLUSHING)
RDIST_FLAGS_PROPBASE_NEEDS_FLUSHING);
gic_rdists->flags |= RDIST_FLAGS_PROPBASE_NEEDS_FLUSHING;