usbskel_serialize_access
(void) usbskel_serialize_access(usbskelp, USBSKEL_SER_NOSIG);
static int usbskel_serialize_access(usbskel_state_t *, boolean_t);
(void) usbskel_serialize_access(usbskelp, USBSKEL_SER_NOSIG);
(void) usbskel_serialize_access(usbskelp, USBSKEL_SER_NOSIG);
if (usbskel_serialize_access(usbskelp, USBSKEL_SER_SIG) == 0) {
(void) usbskel_serialize_access(usbskelp, USBSKEL_SER_NOSIG);
(void) usbskel_serialize_access(usbskelp, USBSKEL_SER_NOSIG);
(void) usbskel_serialize_access(usbskelp, USBSKEL_SER_NOSIG);
(void) usbskel_serialize_access(usbskelp, USBSKEL_SER_NOSIG);