Without further ado, the following was found: Issue: of 0 → of I<r0>? "Since the offset argument is 64 bits, and the first argument (I<fd>) is " "passed in I<r0>, the caller must manually split and align the 64-bit value " "so that it is passed in the I<r2>/I<r3> register pair. That means inserting " "a dummy value into I<r1> (the second argument of 0). Care also must be " "taken so that the split follows endian conventions (according to the C ABI " "for the platform)."
