Searched refs:fpuinit (Results 1 – 4 of 4) sorted by relevance
61 void fpuinit(void);
394 fpuinit(void) in fpuinit() function
1888 fpuinit(); in hammer_time()
1013 fpuinit(); in init_secondary_tail()