pub type WHV_X64_APIC_WRITE_TYPE = i32;