Code snippet for reference:
1 /*test FPU*/
2 #include <asm/i387.h>
3 #include <linux/time.h>
4
5
6 void my_symbol(void){
7 unsigned long i = get_seconds();
8
9 printk(KERN_DEBUG "i:%lu,",i);
10 kernel_fpu_begin();
11 float d = 3.123456*(i%3);
12 i=(unsigned long)(d*1000000);
13 kernel_fpu_end();
14 printk(KERN_DEBUG "%lu\n",i);
15 }
16 EXPORT_SYMBOL_GPL(my_symbol);
thanks