HelenOS sources

i8254_init         38 kernel/arch/amd64/include/arch/drivers/i8254.h extern void i8254_init(void);
i8254_init        146 kernel/arch/amd64/src/amd64.c 		i8254_init();
i8254_init         38 kernel/arch/ia32/include/arch/drivers/i8254.h extern void i8254_init(void);
i8254_init        136 kernel/arch/ia32/src/ia32.c 		i8254_init();