The current comment does not state the correct return values.
Signed-off-by: Marc Rittinghaus <marc.rittinghaus@unikraft.io>
Reviewed-by: Razvan Deaconescu <razvand@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #855
* device_create - create new device object.
*
* A device object is created by the device driver to provide
- * I/O services to applications. Returns device ID on
- * success, or 0 on failure.
+ * I/O services to applications. Returns 0 on success, an errno
+ * number otherwise.
*/
int
device_create(struct driver *drv, const char *name, int flags,