diff options
| -rw-r--r-- | kern/ipc_mig.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c index d6171877..df8a9467 100644 --- a/kern/ipc_mig.c +++ b/kern/ipc_mig.c @@ -304,6 +304,16 @@ mig_strncpy(char *dest, const char *src, vm_size_t len) return dest - dest_; } +/* Called by MiG to deallocate memory, which in this case happens + * to be kernel memory. */ +void +mig_deallocate(vm_address_t addr, vm_size_t size) +{ + (void) size; + /* We do the same thing as in ipc_kmsg_clean_body. */ + vm_map_copy_discard((vm_map_copy_t) addr); +} + #define fast_send_right_lookup(name, port, abort) \ MACRO_BEGIN \ ipc_space_t space = current_space(); \ |