Searched refs:fpuinit (Results 1 – 4 of 4) sorted by relevance
59 void fpuinit(void);
270 fpuinit(void) in fpuinit() function
1825 fpuinit(); in hammer_time()
891 fpuinit(); in init_secondary_tail()