> + } else if (timer_fsb_route(timer)) { > + apic_send_msi(timer->fsb >> 32, timer->fsb & 0xffffffff);
This should use a regular memory write, like the PCI MSI-X code does. Paul
> + } else if (timer_fsb_route(timer)) { > + apic_send_msi(timer->fsb >> 32, timer->fsb & 0xffffffff);
This should use a regular memory write, like the PCI MSI-X code does. Paul