Constant WHvX64RegisterUCet 

pub const WHvX64RegisterUCet: WHV_REGISTER_NAME;