Constant WHvX64RegisterRbp 

pub const WHvX64RegisterRbp: WHV_REGISTER_NAME;