int sys__device_close ( void *p ) { kdevice_t *kdev; kdev = *( (void **) p ); k_device_close ( kdev ); return 0; }
int sys__device_close ( void *dev ) { kdevice_t *kdev = dev; ASSERT_ERRNO_AND_EXIT ( dev, E_INVALID_HANDLE ); disable_interrupts (); k_device_close ( kdev ); enable_interrupts (); return 0; }