Constant WHvX64RegisterBndcfgs 

pub const WHvX64RegisterBndcfgs: WHV_REGISTER_NAME;