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