Filling in ARM64 ABI structs