Seems like SMCCC uses r0-r7 for the first eight args and r8 as an extra parameter and to return. Would be nice to document a similar convention here as well. _Originally posted by @praveen-pk in https://github.com/microsoft/litebox/pull/555#discussion_r2714108117_