/* Set the given Cobalt APIC Redirection Table entry to point to the given IDT vector/index.  */
static void co_apic_set(int entry, int irq)
/* Set the given Cobalt APIC Redirection Table entry to point to the given IDT vector/index.  */
static void co_apic_set(int entry, int irq)
{
	co_apic_write(CO_APIC_LO(entry), CO_APIC_LEVEL | (irq + FIRST_EXTERNAL_VECTOR));
	co_apic_write(CO_APIC_HI(entry), 0);
}