Constant WHvX64RegisterXmm15 

pub const WHvX64RegisterXmm15: WHV_REGISTER_NAME;