IOCTLs are provided by the kernel, so I think this is a kernel issue; the device driver should provide those, but it doesn't.
You could try recompiling the device driver kernel module in diablo.