blob: 0e135ea8c45ba801b0fc1b30a28f5b01c31393c4 [file] [log] [blame] [edit]
/*
* If the FPU is used inside the kernel,
* kernel_fpu_end() will be defined here.
*/