Constant WHvX64RegisterXmm3 

pub const WHvX64RegisterXmm3: WHV_REGISTER_NAME;