Constant WHvX64RegisterApicEoi 

pub const WHvX64RegisterApicEoi: WHV_REGISTER_NAME = 12299i32;