> +    } 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

Reply via email to