Symbol: IPL_START
arch/s390/boot/ipl_data.c
49
.ipl_psw = { .mask = PSW32_MASK_BASE, .addr = PSW32_ADDR_AMODE | IPL_START },
arch/s390/boot/ipl_data.c
84
.restart_psw = { .mask = 0, .addr = IPL_START, },