void InterruptState::restore() { __KernelLoadContext(&savedCpu, true); }
void restore() { ::inInterrupt = insideInterrupt; __KernelLoadContext(&savedCpu); }