Services and Modeling for Embedded Software Development
Chapter 4.
ABI
4.1. Defined Registers
4.2. Calling Convention