ts_push           197 drivers/net/ethernet/ti/cpts.c 	cpts_write32(cpts, TS_PUSH, ts_push);
ts_push            28 drivers/net/ethernet/ti/cpts.h 	u32 ts_push;              /* Time stamp event push */