Searched refs:tb_xsec (Results 1 – 1 of 1) sorted by relevance
307 unsigned long xsec, tb_xsec; in do_gettimeofday() local364 tb_xsec = mulhdu( tb_ticks, temp_tb_to_xs ); in do_gettimeofday()365 xsec = temp_stamp_xsec + tb_xsec; in do_gettimeofday()