static void * __fixkfdi_resolve (void) { return (void *) SW_OR_HW (__fixkfdi_sw, __fixkfdi_hw); }
static void * __floatundikf_resolve (void) { return (void *) SW_OR_HW (__floatundikf_sw, __floatundikf_hw); }
static void * __negkf2_resolve (void) { return (void *) SW_OR_HW (__negkf2_sw, __negkf2_hw); }
static void * __divkf3_resolve (void) { return (void *) SW_OR_HW (__divkf3_sw, __divkf3_hw); }
static void * __trunctfkf2_resolve (void) { return (void *) SW_OR_HW (__trunctfkf2_sw, __trunctfkf2_hw); }
static void * __extendkftf2_resolve (void) { return (void *) SW_OR_HW (__extendkftf2_sw, __extendkftf2_hw); }