C library: Apple does not adhere to aarch64 ABI#8461

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-aarch64-va_listtautschnig/cbmc:fix-aarch64-va_listCopy head branch name to clipboard