Hmm... 45 67 89... I think the u64 would be t0/t1 (that is, r[8] and r[9]) in this case.  AFAIK the u64 args have to be aligned.

-[Unknown]