GCC 的一些内置函数处理浮点值: http: //gcc.gnu.org/onlinedocs/gcc-4.2.4/gcc/Other-Builtins.html
由于 Linux 内核默认不支持浮点运算,这是否意味着我不能在 Linux 内核模块中使用这些内置的 GCC 函数?
如果我做了一些事情来达到这种效果,我可以使用它们吗(假设我在 x86 系统上):
kernel_fpu_begin();
float x = 3.14;
x = __builtin_ceil(x);
kernel_fpu_end();