sys/x86/x86/local_apic.c

1516

lapic_write32(LAPIC_LVT_TIMER, value);

sys/x86/x86/local_apic.c

1529

lapic_write32(LAPIC_LVT_TIMER, value);

sys/x86/x86/local_apic.c

1542

lapic_write32(LAPIC_LVT_TIMER, value);

sys/x86/x86/local_apic.c

1556

lapic_write32_nofence(LAPIC_LVT_TIMER, value);

sys/x86/x86/local_apic.c

1576

lapic_write32(LAPIC_LVT_TIMER, value);

sys/x86/x86/local_apic.c

187

.lvt_reg = LAPIC_LVT_TIMER,

sys/x86/x86/local_apic.c

810

printf(" timer: 0x%08x err: 0x%08x", lapic_read32(LAPIC_LVT_TIMER),

sys/x86/x86/local_apic.c

906

lapic_read32(LAPIC_LVT_TIMER));

sys/x86/x86/local_apic.c

908

lapic_write32(LAPIC_LVT_TIMER, la->lvt_timer_base);