Symbol: switch_to_kernel_sync