/* Radeon specific ioctls * The device specific ioctl range is 0x40 to 0x79. */