Function read_exact_at 

pub fn read_exact_at(file: &File, buffer: &mut [u8], offset: u64) -> Result<()>

Read exactly buffer.len() bytes from file starting at offset. This is a platform-specific helper that uses the most efficient method available.