VTD_EVNT_MAX
event <= VTD_EVNT_MAX && is_portid_port(portid))
event += (portid * (VTD_EVNT_MAX + 1));