But a kernel mode switch is definitely more expensive than a trivial (likely cached) jump instruction.