pub type HAL_APIC_DESTINATION_MODE = i32;