pit_init (reference) in projects: seL4-master

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

/seL4-master/include/plat/pc99/plat/machine/
A D	pit.h	`12 void pit_init(void);`
/seL4-master/src/plat/pc99/machine/
A D	pit.c	`18 BOOT_CODE void pit_init(void) in pit_init() function`
A D	hardware.c	`125 pit_init(); in tsc_init()`
/seL4-master/src/arch/x86/kernel/
A D	apic.c	`21 pit_init(); in apic_measure_freq()`

Completed in 5 milliseconds