| /* 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) |