pc_is_kernel_fn
if (pc_is_kernel_fn(pc, handle_interruption)) {
if (pc_is_kernel_fn(pc, _switch_to) ||