Home
last modified time | relevance | path

Searched refs:format_time (Results 1 – 1 of 1) sorted by relevance

/optee_os/scripts/
H A Dftrace_format.py30 def format_time(ns): function
53 line = line.replace("TIME", format_time(val))
59 print(" " + format_time(val) + f" | {curr_depth:3} | " +