Constant devices::irqchip::apic::DESTINATION_FORMAT_FLAT

const DESTINATION_FORMAT_FLAT: u8 = 0xF;