i8254_normal_operation 95 kernel/arch/amd64/src/drivers/i8254.c void i8254_normal_operation(void) i8254_normal_operation 95 kernel/arch/ia32/src/drivers/i8254.c void i8254_normal_operation(void)