i8254_ticked      132 arch/i386/isa/clock.c int i8254_ticked;
i8254_ticked      224 arch/i386/isa/clock.c 		if (i8254_ticked) {
i8254_ticked      225 arch/i386/isa/clock.c 			i8254_ticked = 0;
i8254_ticked      738 arch/i386/isa/clock.c 		i8254_ticked = 1;