tavor_ioctl_ddr_read
status = tavor_ioctl_ddr_read(state, arg, mode);
static int tavor_ioctl_ddr_read(tavor_state_t *state, intptr_t arg,