int sys__device_lock ( void *p ) { kdevice_t *dev; int wait; dev = *( (void **) p ); p += sizeof (void *); wait = *( (int *) p ); return k_device_lock ( dev, wait ); }
int sys__device_lock ( void *dev, int wait ) { int retval; ASSERT_ERRNO_AND_EXIT ( dev, E_INVALID_HANDLE ); disable_interrupts (); retval = k_device_lock ( dev, wait ); enable_interrupts (); return retval; }