diff options
Diffstat (limited to 'libhurd-mm/as.h')
| -rw-r--r-- | libhurd-mm/as.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/libhurd-mm/as.h b/libhurd-mm/as.h index d3253f8..812693d 100644 --- a/libhurd-mm/as.h +++ b/libhurd-mm/as.h @@ -410,13 +410,13 @@ as_insert_full (activity_t activity, allocate_page_table, ({ bool ret; - ret = vg_cap_copy (activity, - target_as_root_addr, - slot, - target_addr, - source_as_root_addr, - source_cap, - source_addr); + ret = vg_cap_copy_simple (activity, + target_as_root_addr, + slot, + target_addr, + source_as_root_addr, + source_cap, + source_addr); assertx (ret, VG_ADDR_FMT "@" VG_ADDR_FMT " <- " VG_ADDR_FMT "@" VG_ADDR_FMT " (" VG_CAP_FMT ")", |