int sys__device_send ( void *data, size_t size, int flags, void *dev ) { int retval; ASSERT_ERRNO_AND_EXIT ( dev, E_INVALID_HANDLE ); disable_interrupts (); retval = k_device_send ( data, size, flags, dev ); enable_interrupts (); return retval; }
int sys__device_send ( void *p ) { void *data; size_t size; int flags; kdevice_t *dev; data = U2K_GET_ADR ( *( (void **) p ), kthread_get_process (NULL) ); p += sizeof (void *); size = *( (size_t *) p ); p += sizeof (size_t); flags = *( (int *) p ); p += sizeof (int); dev = *( (void **) p ); return k_device_send ( data, size, flags, dev ); }