1// SPDX-License-Identifier: GPL-2.0
2#include "../kernel/ipl_vmparm.c"
3

source code of linux/arch/s390/boot/ipl_vmparm.c