Constant WHvX64RegisterRdx 

pub const WHvX64RegisterRdx: WHV_REGISTER_NAME;