Searched refs:tp_label (Results 1 – 1 of 1) sorted by relevance
705 dfsan_label tp_label, in __dfsw_clock_gettime() argument716 dfsan_label tp_label, dfsan_label *ret_label, dfsan_origin clk_id_origin, in __dfso_clock_gettime() argument718 return __dfsw_clock_gettime(clk_id, tp, clk_id_label, tp_label, ret_label); in __dfso_clock_gettime()