- // PC_AT_IRQ_RTC -> RTC_TIMER_IV, fixed, edge trigged, polarity=high,
- // physical, APIC ID 0
- ioapic_redirect(acpi_gistranslate(irq), iv, 0, IOAPIC_DELMOD_FIXED);
+ // fixed, edge trigged, polarity=high
+ intc_irq_attach(irq, iv, 0, IRQ_DEFAULT);