tavor_stat_port_ioctl_t
tavor_stat_port_ioctl_t portstat;
(tavor_stat_port_ioctl_t *)(uintptr_t)info32.tp_ports;
&(((tavor_stat_port_ioctl_t *)info.tp_ports)[i]),
sizeof (tavor_stat_port_ioctl_t), mode) != 0) {
tavor_stat_port_ioctl_t *tp_ports;