Constant WHvCacheTypeWriteThrough 

pub const WHvCacheTypeWriteThrough: WHV_CACHE_TYPE;