hpd_ts             24 drivers/media/platform/cec-gpio/cec-gpio.c 	ktime_t			hpd_ts;
hpd_ts             65 drivers/media/platform/cec-gpio/cec-gpio.c 	cec_queue_pin_hpd_event(cec->adap, cec->hpd_is_high, cec->hpd_ts);
hpd_ts             96 drivers/media/platform/cec-gpio/cec-gpio.c 	cec->hpd_ts = ktime_get();