From ff2516deb242b046433b09721d0d415e90c7041f Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 13 Mar 2019 16:27:25 +0100 Subject: [PATCH] hw: fix documentation of Kernel::update_pd Add note that the calling thread must not be destroyed while in the syscall. Fixes #1253 --- repos/base-hw/src/core/kernel/core_interface.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/repos/base-hw/src/core/kernel/core_interface.h b/repos/base-hw/src/core/kernel/core_interface.h index a5be22a55..1ea3154e0 100644 --- a/repos/base-hw/src/core/kernel/core_interface.h +++ b/repos/base-hw/src/core/kernel/core_interface.h @@ -68,7 +68,8 @@ namespace Kernel * * Kernel and/or hardware may cache parts of a domain configuration. This * function ensures that the in-memory state of the targeted domain gets - * CPU-locally effective. + * CPU-locally effective. The calling thread must not be destroyed while + * in this syscall. */ inline void update_pd(Pd * const pd) {