Constant WHvX64RegisterXmm4 

pub const WHvX64RegisterXmm4: WHV_REGISTER_NAME;