GCC の組み込み関数の一部は、浮動小数点値を処理します: http://gcc.gnu.org/onlinedocs/gcc-4.2.4/gcc/Other-Builtins.html
Linux カーネルはデフォルトで浮動小数点演算をサポートしていないため、これらの組み込み GCC 関数を Linux カーネル モジュール内で使用できないということですか?
この効果のために何かをした場合、それらを使用できますか (x86 システムを使用していると仮定して):
kernel_fpu_begin();
float x = 3.14;
x = __builtin_ceil(x);
kernel_fpu_end();