Constant WHvX64RegisterXmm13 

pub const WHvX64RegisterXmm13: WHV_REGISTER_NAME;