deque_ts          337 drivers/misc/genwqe/card_ddcb.c 	req->cmd.deque_ts = be64_to_cpu(pddcb->deque_ts_64);
deque_ts          420 include/uapi/linux/genwqe/genwqe_card.h 	__u64 deque_ts;			/* dequeue time stamp */