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