switcher: small change to register allocation
When loading the target thread's trusted stack, do more work in csp,
just so we don't have to explain that ct0 gets clobbered by something
else in the next instruction. This may be excessive.
diff --git a/sdk/core/switcher/entry.S b/sdk/core/switcher/entry.S
index 85cb966..09f2e25 100644
--- a/sdk/core/switcher/entry.S
+++ b/sdk/core/switcher/entry.S
@@ -541,10 +541,10 @@
// in that posture until the mret in install_context.
// Switch onto the new thread's trusted stack
- LoadCapPCC ct0, compartment_switcher_sealing_key
+ LoadCapPCC csp, compartment_switcher_sealing_key
li gp, SEAL_TYPE_SealedTrustedStacks
- csetaddr ct0, ct0, gp
- cunseal csp, ca0, ct0
+ csetaddr csp, csp, gp
+ cunseal csp, ca0, csp
clw t0, TrustedStack_offset_mcause(csp)
// Only now that we have done something that actually requires the tag of
