hw: fix documentation of Kernel::update_pd

Add note that the calling thread must not be destroyed while in the syscall. Fixes #1253
2019-03-13 16:27:25 +01:00 · 2019-03-13 16:27:25 +01:00 · ff2516deb2
parent a74ae75680
commit ff2516deb2
1 changed files with 2 additions and 1 deletions
--- 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)
 	{