summaryrefslogtreecommitdiff
path: root/libdiskfs
diff options
context:
space:
mode:
authorSergio Lopez <sergio.lopez@sinrega.org>2011-11-20 09:56:18 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-11-20 09:56:18 +0100
commitb30813c7b942f1146def88ac52f8179947294e49 (patch)
treef4728e7d617d4ae5ae82a216f9766839dcdec33d /libdiskfs
parent0162d565bf9b48d8ee33406f2f1d65c05c37fe88 (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 'libdiskfs')
0 files changed, 0 insertions, 0 deletions