Searched defs:pit_init (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dpit.c18 BOOT_CODE void pit_init(void) function
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dpit.c131 int pit_init(pit_t *pit, ps_io_port_ops_t io_port_ops) function

Completed in 76 milliseconds