Constant WHvX64RegisterTscDeadline 

pub const WHvX64RegisterTscDeadline: WHV_REGISTER_NAME;