usbprn_close_usb_pipes
usbprn_close_usb_pipes(usbprnp);
static void usbprn_close_usb_pipes(usbprn_state_t *);