Searched refs:fpuinit (Results 1 – 4 of 4) sorted by relevance
58 void fpuinit(void);
356 fpuinit(void) in fpuinit() function
1578 fpuinit(); in hammer_time()
1067 fpuinit(); in init_secondary_tail()