302 bytes added ,  01:11, 29 August 2016
no edit summary
! Type
! Description
| 0xF38
| u32[4]
| SVC access control data copied from KThread's owner process
| 0xF50
* Load r4-r11, SP, LR
* Branch back to r1, preserving the LR which was just reloaded, back to the main scheduling function, but in the context of the newly switched-to thread
* Disable Interrupts
* Check if that core's KScheduler object indicates that it needs switching again and exit if it does not
* Otherwise, run the thread scheduler again and repeat all the steps to switch contexts again