As mentioned in Note [Register parameter passing] the arguments of
foreign calls cannot refer to caller-saved registers.