Constant WHvX64RegisterBndcfgs

pub const WHvX64RegisterBndcfgs: WHV_REGISTER_NAME;