DevHlp_ReadFile is used by base device drivers to read a file previously opened using DevHlp_OpenFile.