Searched refs:fpextovrflt (Results 1 – 3 of 3) sorted by relevance
129 extern void fpextovrflt(void);
750 fpextovrflt(); in kernel_trap()1145 fpextovrflt(); in user_trap()
1307 fpextovrflt(void) in fpextovrflt() function