Constant WHvCacheTypeWriteCombining 

pub const WHvCacheTypeWriteCombining: WHV_CACHE_TYPE;