diff --git a/doc/kernel/usermode/syscalls.rst b/doc/kernel/usermode/syscalls.rst index f751697d9a3..8b35ce80991 100644 --- a/doc/kernel/usermode/syscalls.rst +++ b/doc/kernel/usermode/syscalls.rst @@ -335,6 +335,8 @@ If any check fails, the macros will return a nonzero value. The macro calling thread. This is done instead of returning some error condition to keep the APIs the same when calling from supervisor mode. +.. _syscall_verification: + Verifier Definition =================== diff --git a/doc/security/standards/etsi-303645.rst b/doc/security/standards/etsi-303645.rst index 30b4c6c8673..ffc8f1f4706 100644 --- a/doc/security/standards/etsi-303645.rst +++ b/doc/security/standards/etsi-303645.rst @@ -683,8 +683,8 @@ Provisions Assessment transferred via Application Programming Interfaces (APIs) or between networks in services and devices. - M - - - - + - Y + - :ref:`Syscall verification ` and :ref:`Coding guidelines ` .. _ETSI_Provision_6_1_1: * - Provision 6.1-1