1.1 --- a/libexec/include/exec/internal_pager.h Fri Mar 24 16:14:44 2023 +0100
1.2 +++ b/libexec/include/exec/internal_pager.h Sat Mar 25 18:45:42 2023 +0100
1.3 @@ -59,6 +59,9 @@
1.4 virtual long attach(address_t *start, address_t size, map_flags_t flags,
1.5 l4_cap_idx_t ds, address_t offset, unsigned char align);
1.6
1.7 + virtual long detach(address_t addr, address_t size, map_flags_t flags,
1.8 + address_t *start, address_t *rsize, l4_cap_idx_t *ds);
1.9 +
1.10 virtual long reserve_area(address_t *start, address_t size, map_flags_t flags,
1.11 unsigned char align);
1.12 };