Constant WHvX64RegisterRbx 

pub const WHvX64RegisterRbx: WHV_REGISTER_NAME;