Constant WHvX64RegisterApicIsr6 

pub const WHvX64RegisterApicIsr6: WHV_REGISTER_NAME;