unknown call: ioctl%24KBASE_IOCTL_GET_DDK_VERSION