[Zion] Clarify kernel stack reuse in a comment.

2023-11-24 16:55:45 -08:00 · 2023-11-24 16:55:45 -08:00 · 85b701ce31
parent 2dd69f5844
commit 85b701ce31
1 changed files with 2 additions and 0 deletions
--- a/zion/memory/kernel_stack_manager.h
+++ b/zion/memory/kernel_stack_manager.h
@ -21,6 +21,8 @@ class KernelStackManager {

  uint64_t AllocateKernelStack();

+  // For now we just reuse kernel stacks as-is (don't free the physical memory
+  // or unmap/remap the pages in virtual memory.)
  void FreeKernelStack(uint64_t stack_base);

 private: