Context switching
Bulk of the context switching is done inside the platform independent portion of the kernel, but the final heavy lifting always has to be done in a platform specific way. The structures defined here help to establish communication between these two parts of the kernel.