diff options
author | Anton Kling <anton@kling.gg> | 2024-06-26 18:33:59 +0200 |
---|---|---|
committer | Anton Kling <anton@kling.gg> | 2024-06-26 18:36:23 +0200 |
commit | 823f56f35158ecf541900441a68a238f0b2c961d (patch) | |
tree | 6c4c23374fe835f0deb67309cf84be1a86a943ce /toolchain/D3A93CAD751C2AF4F8C7AD516C35B99309B5FA62 | |
parent | b857f43b58b4e1e14e069afe1da6f6a05f3e6d9c (diff) |
Scheduler: Don't run switch_task() if task switch is already occuring
Diffstat (limited to 'toolchain/D3A93CAD751C2AF4F8C7AD516C35B99309B5FA62')
0 files changed, 0 insertions, 0 deletions