1.1 --- a/libipc/lib/src/util_ipc.c Tue Apr 26 00:38:25 2022 +0200
1.2 +++ b/libipc/lib/src/util_ipc.c Tue Apr 26 16:34:54 2022 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Interprocess communication abstractions.
1.6 *
1.7 - * Copyright (C) 2018, 2019, 2021 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 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 @@ -64,6 +64,17 @@
1.13 return L4_EOK;
1.14 }
1.15
1.16 +/* Indicate that a flexpage is expected at the given position. */
1.17 +
1.18 +long _expect_fpage(l4_buf_regs_t *bregs, int item, l4_umword_t map_control, l4_fpage_t fpage)
1.19 +{
1.20 + bregs->bdr = 0;
1.21 + bregs->br[item] = map_control;
1.22 + bregs->br[item + 1] = fpage.raw;
1.23 +
1.24 + return L4_EOK;
1.25 +}
1.26 +
1.27 /* Export in the message at the given position the given capability. */
1.28
1.29 void _export_capability(l4_msgtag_t tag, l4_msg_regs_t *mregs, int item, l4_cap_idx_t ref)