Constant WHvX64RegisterTr 

pub const WHvX64RegisterTr: WHV_REGISTER_NAME;