pub const WHvCacheTypeWriteBack: WHV_CACHE_TYPE = 6i32;