/* * Software definitions belonging to Local APIC driver. */