__fpu_getreg64
l[0] = __fpu_getreg64(reg & ~1);
l[1] = __fpu_getreg64((reg & ~1) + 2);
u_int64_t __fpu_getreg64(int);