NAME
devfs_get_name - Get the name for a device entry in its parent
directory.
SYNOPSIS
const char * devfs_get_name (devfs_handle_t de, unsigned int *namelen);
ARGUMENTS
de The handle to the device entry.
namelen The length of the name is written here. This may be NULL.
DESCRIPTION
Returns the name on success, else NULL.