1.1 --- a/libexec/include/exec/process.h Sun Dec 11 01:23:05 2022 +0100
1.2 +++ b/libexec/include/exec/process.h Tue Dec 13 17:05:51 2022 +0100
1.3 @@ -50,10 +50,11 @@
1.4
1.5 enum exec_task_caps
1.6 {
1.7 - L4_EXEC_PAGER_CAP = 0x10UL << L4_CAP_SHIFT,
1.8 - L4_EXEC_RM_CAP = 0x11UL << L4_CAP_SHIFT,
1.9 - L4_EXEC_MA_CAP = 0x12UL << L4_CAP_SHIFT,
1.10 - L4_EXEC_KIP_CAP = 0x14UL << L4_CAP_SHIFT,
1.11 + L4_EXEC_PAGER_CAP = 0x10UL << L4_CAP_SHIFT,
1.12 + L4_EXEC_RM_CAP = 0x11UL << L4_CAP_SHIFT,
1.13 + L4_EXEC_MA_CAP = 0x12UL << L4_CAP_SHIFT,
1.14 + L4_EXEC_PARENT_CAP = 0x13UL << L4_CAP_SHIFT,
1.15 + L4_EXEC_KIP_CAP = 0x14UL << L4_CAP_SHIFT,
1.16 };
1.17
1.18 /* The default first free capability index must follow those above. Any
1.19 @@ -94,6 +95,8 @@
1.20
1.21 long configure_thread(l4_cap_idx_t server, l4_cap_idx_t mapped_cap = L4_INVALID_CAP);
1.22
1.23 + long set_parent(l4_cap_idx_t server);
1.24 +
1.25 long map_capabilities(struct ipc_mapped_cap mapped_caps[],
1.26 bool to_count = true);
1.27