From 722fd85bc15f216f20031b630ec35fc8737b3a04 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 18 May 2016 12:00:39 +0200 Subject: [PATCH] hw: higher names for core restricted syscalls To avoid the need for adapting the names of the core restricted syscalls each time we add a public syscall (restricted names must always be greater than public names), let restricted syscall names simply start at 100 (we should never have more than 100 public syscalls). Ref #1972 --- .../src/core/include/kernel/core_interface.h | 46 +++++++++---------- 1 file changed, 23 insertions(+), 23 deletions(-) diff --git a/repos/base-hw/src/core/include/kernel/core_interface.h b/repos/base-hw/src/core/include/kernel/core_interface.h index dd36994b4..f03849439 100644 --- a/repos/base-hw/src/core/include/kernel/core_interface.h +++ b/repos/base-hw/src/core/include/kernel/core_interface.h @@ -35,29 +35,29 @@ namespace Kernel /** * Kernel names of the kernel calls */ - constexpr Call_arg call_id_new_thread() { return 15; } - constexpr Call_arg call_id_delete_thread() { return 16; } - constexpr Call_arg call_id_start_thread() { return 17; } - constexpr Call_arg call_id_pause_thread() { return 18; } - constexpr Call_arg call_id_resume_thread() { return 19; } - constexpr Call_arg call_id_route_thread_event() { return 20; } - constexpr Call_arg call_id_thread_quota() { return 21; } - constexpr Call_arg call_id_update_pd() { return 22; } - constexpr Call_arg call_id_new_pd() { return 23; } - constexpr Call_arg call_id_delete_pd() { return 24; } - constexpr Call_arg call_id_new_signal_receiver() { return 25; } - constexpr Call_arg call_id_new_signal_context() { return 26; } - constexpr Call_arg call_id_delete_signal_context() { return 27; } - constexpr Call_arg call_id_delete_signal_receiver() { return 28; } - constexpr Call_arg call_id_new_vm() { return 29; } - constexpr Call_arg call_id_run_vm() { return 30; } - constexpr Call_arg call_id_pause_vm() { return 31; } - constexpr Call_arg call_id_delete_vm() { return 32; } - constexpr Call_arg call_id_new_irq() { return 33; } - constexpr Call_arg call_id_delete_irq() { return 34; } - constexpr Call_arg call_id_ack_irq() { return 35; } - constexpr Call_arg call_id_new_obj() { return 36; } - constexpr Call_arg call_id_delete_obj() { return 37; } + constexpr Call_arg call_id_new_thread() { return 100; } + constexpr Call_arg call_id_delete_thread() { return 101; } + constexpr Call_arg call_id_start_thread() { return 102; } + constexpr Call_arg call_id_pause_thread() { return 103; } + constexpr Call_arg call_id_resume_thread() { return 104; } + constexpr Call_arg call_id_route_thread_event() { return 105; } + constexpr Call_arg call_id_thread_quota() { return 106; } + constexpr Call_arg call_id_update_pd() { return 107; } + constexpr Call_arg call_id_new_pd() { return 108; } + constexpr Call_arg call_id_delete_pd() { return 109; } + constexpr Call_arg call_id_new_signal_receiver() { return 110; } + constexpr Call_arg call_id_new_signal_context() { return 111; } + constexpr Call_arg call_id_delete_signal_context() { return 112; } + constexpr Call_arg call_id_delete_signal_receiver() { return 113; } + constexpr Call_arg call_id_new_vm() { return 114; } + constexpr Call_arg call_id_run_vm() { return 115; } + constexpr Call_arg call_id_pause_vm() { return 116; } + constexpr Call_arg call_id_delete_vm() { return 117; } + constexpr Call_arg call_id_new_irq() { return 118; } + constexpr Call_arg call_id_delete_irq() { return 119; } + constexpr Call_arg call_id_ack_irq() { return 120; } + constexpr Call_arg call_id_new_obj() { return 121; } + constexpr Call_arg call_id_delete_obj() { return 122; } /** * Update locally effective domain configuration to in-memory state