Constant WHvX64RegisterRax 

pub const WHvX64RegisterRax: WHV_REGISTER_NAME;