In any event, I think the args should just be labeled arg0..arg5.
That said, I don't know what's up with it using 32-bit register names.
That said, I don't know what's up with it using 32-bit register names.