NAME
devfs_get_info - Get the info pointer written to private_data of @de
upon open.
SYNOPSIS
void * devfs_get_info (devfs_handle_t de);
ARGUMENTS
de The handle to the device entry.
DESCRIPTION
Returns the info pointer.