A ERROR_FILE_INVALID has been reported. The windows docs indicate this error is returned if one attempts to map a zero length file. We should check if we ever do that, for example during recovery.

http://msdn.microsoft.com/en-us/library/aa366537(v=vs.85).aspx