Refetch the spc pointer after cpu_switchto() since the value is stale
authorclaudio <claudio@openbsd.org>
Sat, 19 Aug 2023 11:14:11 +0000 (11:14 +0000)
committerclaudio <claudio@openbsd.org>
Sat, 19 Aug 2023 11:14:11 +0000 (11:14 +0000)
commit7927db41a2d789927ae4967cdc221c4b69be78c4
tree362b4b51347ceaad21e173411beadad115eead03
parente425abdca99af75b418563580e5a2e31165f6f10
Refetch the spc pointer after cpu_switchto() since the value is stale
after the proc switch. With the value refetched the rest of the code
can be simplified.
Input guenther@, OK cheloha@, miod@
sys/kern/sched_bsd.c