pub const WHvRegisterSversion: WHV_REGISTER_NAME = 16401i32;