APIC_TIMER_COUNT (reference) in projects: seL4-master

Searched refs:APIC_TIMER_COUNT (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/arch/x86/kernel/
A D	apic.c	`27 apic_write_reg(APIC_TIMER_COUNT, 0xffffffff); in apic_measure_freq() 97 apic_write_reg(APIC_TIMER_COUNT, apic_khz * CONFIG_TIMER_TICK_MS); in apic_init()`
/seL4-master/include/arch/x86/arch/machine/
A D	timer.h	`65 apic_write_reg(APIC_TIMER_COUNT, div64(deadline, x86KSapicRatio)); in setDeadline()`
/seL4-master/include/arch/x86/arch/kernel/
A D	x2apic.h	`34 APIC_TIMER_COUNT = 0x838, enumerator`
A D	xapic.h	`35 APIC_TIMER_COUNT = 0x380, enumerator`

Completed in 5 milliseconds