squash haskell: PR suggestions

Signed-off-by: Corey Lewis <[email protected]>
seL4 · Sep 26, 2024 · 3aaac5d · 3aaac5d
1 parent 6662cb6
commit 3aaac5d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/spec/haskell/src/SEL4/Object/TCB/AARCH64.hs b/spec/haskell/src/SEL4/Object/TCB/AARCH64.hs
@@ -58,6 +58,8 @@ postSetFlags :: PPtr TCB -> TcbFlags -> Kernel ()
 postSetFlags t flags =
     when (tcbFlagToWord (ArchFlag FpuDisabled) .&. flags /= 0) (fpuRelease t)
 
+-- Save and clear FPU state before setting the domain of a TCB, to ensure that
+-- we do not later write to cross-domain state.
 prepareSetDomain :: PPtr TCB -> Domain -> Kernel ()
 prepareSetDomain t newDom = do
     curDom <- curDomain