Constant WHvX64RegisterIdtr 

pub const WHvX64RegisterIdtr: WHV_REGISTER_NAME;