L4Re/departure

Changeset

503:f91362d40267
502:180e12c566fe
501:e4341cbc7e2a
2023-03-06 Paul Boddie raw files shortlog changelog graph Introduced freeing of imported capabilities that cannot be attached.
libexec/lib/src/internal_pager.cc (file) 
     1.1 --- a/libexec/lib/src/internal_pager.cc	Mon Mar 06 16:05:44 2023 +0100
     1.2 +++ b/libexec/lib/src/internal_pager.cc	Mon Mar 06 16:19:15 2023 +0100
     1.3 @@ -67,7 +67,6 @@
     1.4    {
     1.5      MappedRegion &r = it->second;
     1.6  
     1.7 -    printf("Free %lx\n", r.ds);
     1.8      ipc_cap_free_um(r.ds);
     1.9    }
    1.10  }
    1.11 @@ -170,6 +169,8 @@
    1.12      MappedRegion r(*start, size, flags & L4RE_DS_F_RIGHTS_MASK, ds);
    1.13      add(r);
    1.14    }
    1.15 +  else
    1.16 +    ipc_cap_free_um(ds);
    1.17  
    1.18    return err;
    1.19  }