Constant WHvX64RegisterPat 

pub const WHvX64RegisterPat: WHV_REGISTER_NAME;