t10
t10 = 8.81081882437654011382e-04, /* 0x3F4CDF0C, 0xEF61A8E9 */
p2 = t1+w*(t4+w*(t7+w*(t10+w*t13)));
p2 = t1+w*(t4+w*(t7+w*(t10+w*t13)));
t10 = 8.8108185446e-04, /* 0x3a66f867 */
ldq t10, OFFSET_T10(sp)
stq t10, OFFSET_T10(sp)
uint32_t t10, t11, t12, t13, t14, t15, t16, t17, t18, t19;
t10 = y2 & y7;
t11 = t10 ^ t7;
pps->power_down = edp_pps->t10;
u16 t10;