Symbol: system_ctl_load
arch/s390/kernel/setup.c
804
system_ctl_load(2, &cr2.reg);
arch/s390/kernel/setup.c
805
system_ctl_load(5, &cr5.reg);
arch/s390/kernel/setup.c
806
system_ctl_load(15, &cr15.reg);