250 static u32 vfp_double_fabs(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fabs()
256 static u32 vfp_double_fcpy(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fcpy()
262 static u32 vfp_double_fneg(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fneg()
268 static u32 vfp_double_fsqrt(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fsqrt()
419 static u32 vfp_double_fcmp(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fcmp()
424 static u32 vfp_double_fcmpe(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fcmpe()
429 static u32 vfp_double_fcmpz(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fcmpz()
434 static u32 vfp_double_fcmpez(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fcmpez()
439 static u32 vfp_double_fcvts(int sd, int unused, int dm, u32 fpscr)  in vfp_double_fcvts()
482 static u32 vfp_double_fuito(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fuito()
494 static u32 vfp_double_fsito(int dd, int unused, int dm, u32 fpscr)  in vfp_double_fsito()
506 static u32 vfp_double_ftoui(int sd, int unused, int dm, u32 fpscr)  in vfp_double_ftoui()
580 static u32 vfp_double_ftouiz(int sd, int unused, int dm, u32 fpscr)  in vfp_double_ftouiz()
585 static u32 vfp_double_ftosi(int sd, int unused, int dm, u32 fpscr)  in vfp_double_ftosi()
655 static u32 vfp_double_ftosiz(int dd, int unused, int dm, u32 fpscr)  in vfp_double_ftosiz()