APIC_ENT0
apic_write(sc->sc_regs, APIC_ENT0(line), APIC_ENT0_MASK);
apic_write(sc->sc_regs, APIC_ENT0(line), ent0);
printf("0x%04x 0x%04x\n", apic_read(sc->sc_regs, APIC_ENT0(i)),