diff options
| author | Sergio Lopez <sergio.lopez@sinrega.org> | 2011-11-20 09:56:18 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-11-20 09:56:18 +0100 |
| commit | b30813c7b942f1146def88ac52f8179947294e49 (patch) | |
| tree | f4728e7d617d4ae5ae82a216f9766839dcdec33d /tmpfs/node.c | |
| parent | 0162d565bf9b48d8ee33406f2f1d65c05c37fe88 (diff) | |
Just destroy port rights in default_pager
* mach-defpager/default_pager.c (seqnos_memory_object_terminate): Simply call
`mach_port_destroy' instead of managing rights through `mach_port_mod_refs'.
Diffstat (limited to 'tmpfs/node.c')
0 files changed, 0 insertions, 0 deletions