int sys__device_unlock ( void *p ) { kdevice_t *dev; dev = *( (void **) p ); return k_device_unlock ( dev ); }
int sys__device_unlock ( void *dev ) { int retval; ASSERT_ERRNO_AND_EXIT ( dev, E_INVALID_HANDLE ); disable_interrupts (); retval = k_device_unlock ( dev ); enable_interrupts (); return retval; }