devfs_get_name
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.