Constant WHvX64RegisterXmm9 

pub const WHvX64RegisterXmm9: WHV_REGISTER_NAME;