Constant WHvX64RegisterEfer 

pub const WHvX64RegisterEfer: WHV_REGISTER_NAME;