Там есть вот такая строчка:
A type which is trivial for the purposes of the ABI will be passed and returned according to the rules of the base C ABI, e.g. in registers
Да, они в конце ссылаются на System V ABI. Правда почему-то itanium'овский. Возможно это описание abi для itanium процессоров (которые на сколько я помню были не совместимы с x86 и как следствие умерли). Но мне лень сейчас разбираться.