Type Alias WriteFile 

pub type WriteFile = extern "efiapi" fn(FileHandle, *mut usize, *mut c_void) -> Status;