tsformat 227 drivers/pps/pps.c if (bind_args.tsformat != PPS_TSFMT_TSPEC || tsformat 138 include/uapi/linux/pps.h int tsformat; /* format of time stamps */