When the destination mode is physical, the destination field should only be defined through bits 56-59, as defined in the IOAPIC spec. But from the APIC specification, the APIC ID is always defined on 8 bits no matter which destination mode is selected. That's why we always retrieve the destination field based on bits 56-63. Signed-off-by: Sebastien Boeuf <sebastien.boeuf@intel.com> |
||
|---|---|---|
| .. | ||
| legacy | ||
| acpi.rs | ||
| gic.rs | ||
| interrupt_controller.rs | ||
| ioapic.rs | ||
| lib.rs | ||