4 lines
90 B
C
4 lines
90 B
C
/*
|
|
* If the FPU is used inside the kernel,
|
|
* kernel_fpu_end() will be defined here.
|
|
*/
|