wcol_tx_timestamp   71 drivers/spi/spi-mpc52xx.c 	u32 wcol_tx_timestamp;
wcol_tx_timestamp  123 drivers/spi/spi-mpc52xx.c 	ms->wcol_tx_timestamp = get_tbl();
wcol_tx_timestamp  224 drivers/spi/spi-mpc52xx.c 		ms->wcol_ticks += get_tbl() - ms->wcol_tx_timestamp;
wcol_tx_timestamp  225 drivers/spi/spi-mpc52xx.c 		ms->wcol_tx_timestamp = get_tbl();
wcol_tx_timestamp  257 drivers/spi/spi-mpc52xx.c 	ms->wcol_tx_timestamp = get_tbl();