Symbol: deploy_kernel
arch/s390/boot/decompressor.c
79
void deploy_kernel(void *output)
arch/s390/boot/startup.c
189
static void deploy_kernel(void *output)