ARK-OS/arkos/kernel/arch/s390/boot/trampoline.S

/* SPDX-License-Identifier: GPL-2.0 */

#include <linux/linkage.h>

# This function is identical to __load_psw(), but the lx-symbols GDB command
# puts a breakpoint on it, so it needs to be kept separate.
SYM_CODE_START(jump_to_kernel)
	lpswe 0(%r2)
SYM_CODE_END(jump_to_kernel)