Re: ioctl ABI considerations for 64b ARM?