usbport_trig_usb_dev_observed
observed = usbport_trig_usb_dev_observed(usbport_data, usb_dev);
if (usbport_trig_usb_dev_observed(usbport_data, usb_dev))