1.1 --- a/libipc/include/ipc/util_ipc.h Sun Feb 18 01:36:59 2024 +0100
1.2 +++ b/libipc/include/ipc/util_ipc.h Fri Feb 23 01:29:50 2024 +0100
1.3 @@ -40,7 +40,7 @@
1.4 void _export_capability(l4_msgtag_t tag, l4_msg_regs_t *mregs, int item, l4_cap_idx_t ref);
1.5 void _export_fpage(l4_msgtag_t tag, l4_msg_regs_t *mregs, int item, l4_snd_fpage_t fpage);
1.6 void _export_page(l4_msgtag_t tag, l4_msg_regs_t *mregs, int item, l4_umword_t hot_spot, l4_fpage_t fpage);
1.7 -void _free_expected_capabilities(l4_buf_regs_t *bregs, int number);
1.8 +void _free_expected_capabilities(l4_buf_regs_t *bregs, int start, int limit);
1.9 long _import_capability(l4_msgtag_t tag, l4_buf_regs_t *bregs, l4_msg_regs_t *mregs, int item, int buf_item, l4_cap_idx_t *ref, int *local);
1.10 long _import_dataspace(l4_msgtag_t tag, l4_buf_regs_t *bregs, l4_msg_regs_t *mregs, int item, int buf_item, l4re_ds_t *mem, l4_addr_t *addr, int *local);
1.11 long _import_fpage(l4_msgtag_t tag, l4_buf_regs_t *bregs, l4_msg_regs_t *mregs, int item, l4_snd_fpage_t *fpage);