pub const EF_LARCH_ABI_DOUBLE_FLOAT: u32 = 0x3;
Uses GPRs, 64-bit FPRs and the stack for parameter passing