1.1 --- a/libipc/include/ipc/cap_alloc.h Tue Apr 26 22:48:33 2022 +0200
1.2 +++ b/libipc/include/ipc/cap_alloc.h Tue Apr 26 22:52:40 2022 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Capability allocation and management.
1.6 *
1.7 - * Copyright (C) 2019, 2021 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2019, 2021, 2022 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -26,6 +26,7 @@
1.13 EXTERN_C_BEGIN
1.14
1.15 l4_cap_idx_t ipc_cap_alloc(void);
1.16 +long ipc_cap_alloc_many(l4_cap_idx_t caps[], int count);
1.17 int ipc_cap_free(l4_cap_idx_t cap);
1.18 int ipc_cap_free_um(l4_cap_idx_t cap);
1.19