Constant WHvX64RegisterXmm5 

pub const WHvX64RegisterXmm5: WHV_REGISTER_NAME;