RF_ALLOCATED
RF_ALLOCATED|RF_ACTIVE);
RF_ALLOCATED|RF_ACTIVE);
chipc_release_region(sc, sc->core_region, RF_ALLOCATED|RF_ACTIVE);
if ((error = chipc_retain_region(sc, cr, RF_ALLOCATED)))
chipc_release_region(sc, cr, RF_ALLOCATED);
chipc_release_region(sc, cr, RF_ALLOCATED);
KASSERT(!(flags &~ (RF_ACTIVE|RF_ALLOCATED)), ("unsupported flags"));
if (flags & RF_ALLOCATED) {
if (flags & RF_ALLOCATED) {
if (r->r_flags & RF_ALLOCATED) {
if (!(r->r_flags & RF_ALLOCATED)) {
if (!(r->r_flags & RF_ALLOCATED)) {
if (start < r->r_start && (s == NULL || (s->r_flags & RF_ALLOCATED) ||
if (end > r->r_end && (t == NULL || (t->r_flags & RF_ALLOCATED) ||
(start > r->r_start && s != NULL && !(s->r_flags & RF_ALLOCATED))) {
(end < r->r_end && t != NULL && !(t->r_flags & RF_ALLOCATED))) {
if (s != NULL && !(s->r_flags & RF_ALLOCATED)) {
if (t != NULL && !(t->r_flags & RF_ALLOCATED)) {
new_rflags = (flags & ~RF_FIRSTSHARE) | RF_ALLOCATED;
if (s->r_flags & RF_ALLOCATED) {
if (s != NULL && ((s->r_flags & RF_ALLOCATED) != 0 ||
if (t != NULL && ((t->r_flags & RF_ALLOCATED) != 0 ||
r->r_flags &= ~RF_ALLOCATED;