Symbol: fpu_cefbr
arch/s390/kernel/sysinfo.c
418
fpu_cefbr(2, info->capability);
arch/s390/kernel/sysinfo.c
419
fpu_cefbr(0, 10000000);