// Swap out the KernelProxy. This will normally reset the
// proxy to NULL, aside from in test code that has called
// ki_push_state_for_testing().
s_state = s_saved_state;
s_saved_state.kp = NULL;
// Swap out the KernelProxy. This will normally reset the
// proxy to NULL, aside from in test code that has called
// ki_push_state_for_testing().
s_state = s_saved_state;
s_saved_state.kp = NULL;