read_tcnt32        52 drivers/clocksource/h8300_tpu.c 		v1 = read_tcnt32(p);
read_tcnt32        53 drivers/clocksource/h8300_tpu.c 		v2 = read_tcnt32(p);
read_tcnt32        54 drivers/clocksource/h8300_tpu.c 		v3 = read_tcnt32(p);