Constant WHvMapGpaRangeFlagRead 

pub const WHvMapGpaRangeFlagRead: WHV_MAP_GPA_RANGE_FLAGS;