Constant WHvX64RegisterXmm15

pub const WHvX64RegisterXmm15: WHV_REGISTER_NAME;