RDIST_FLAGS_FORCE_NON_SHAREABLE
return !(gic_rdists->flags & RDIST_FLAGS_FORCE_NON_SHAREABLE);
gic_rdists->flags |= RDIST_FLAGS_FORCE_NON_SHAREABLE;
d->rdists.flags |= RDIST_FLAGS_FORCE_NON_SHAREABLE;
gic_data.rdists.flags |= RDIST_FLAGS_FORCE_NON_SHAREABLE;
gic_data.rdists.flags |= RDIST_FLAGS_FORCE_NON_SHAREABLE;