pub const WHvCacheTypeWriteThrough: WHV_CACHE_TYPE = 4i32;