Constant WHvX64RegisterRflags 

pub const WHvX64RegisterRflags: WHV_REGISTER_NAME;