1 /* 1 2 * If the FPU is used inside the kernel, 3 * kernel_fpu_end() will be defined here. 4 */ 5
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.