Searched refs:fpextovrflt (Results 1 – 3 of 3) sorted by relevance
129 extern void fpextovrflt(void);
777 fpextovrflt(); in kernel_trap()1195 fpextovrflt(); in user_trap()
1364 fpextovrflt(void) in fpextovrflt() function