1.1 --- a/libipc/lib/src/util_ipc.c Sun Feb 18 01:36:59 2024 +0100
1.2 +++ b/libipc/lib/src/util_ipc.c Fri Feb 23 01:29:50 2024 +0100
1.3 @@ -110,12 +110,12 @@
1.4
1.5 /* Free expected capabilities held by the buffer registers. */
1.6
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 {
1.10 int i;
1.11 l4_cap_idx_t cap;
1.12
1.13 - for (i = 0; i < number; i++)
1.14 + for (i = start; i < limit; i++)
1.15 {
1.16 cap = bregs->br[i] & L4_CAP_MASK;
1.17 if (l4_is_valid_cap(cap))