diff options
Diffstat (limited to 'libhurd-mm/map.c')
| -rw-r--r-- | libhurd-mm/map.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/libhurd-mm/map.c b/libhurd-mm/map.c index 2147d6b..370f2f0 100644 --- a/libhurd-mm/map.c +++ b/libhurd-mm/map.c @@ -25,7 +25,6 @@ #include <hurd/storage.h> #include <hurd/as.h> #include <hurd/slab.h> -#include <l4.h> #include <string.h> @@ -346,11 +345,11 @@ map_fault (vg_addr_t fault_addr, uintptr_t ip, struct vg_activation_fault_info i } /* Note: write access implies read access. */ - if (((info.access & L4_FPAGE_WRITABLE) && ! (map->access & MAP_ACCESS_WRITE)) + if (((info.access & VG_WRITE) && ! (map->access & MAP_ACCESS_WRITE)) || ! map->access) { debug (0, "Invalid %s access at " VG_ADDR_FMT ": " MAP_FMT, - info.access & L4_FPAGE_WRITABLE ? "write" : "read", + info.access & VG_WRITE ? "write" : "read", VG_ADDR_PRINTF (fault_addr), MAP_PRINTF (map)); maps_lock_unlock (); |