use the generic ioctl.h for x86_64, x32 and aarch64