ioctl ABI considerations for 64b ARM?