Constant WHvX64RegisterSfmask 

pub const WHvX64RegisterSfmask: WHV_REGISTER_NAME;