Searched refs:cpu_usage (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/l4v/misc/regression/
H A Dcpuusage.py65 Use cpu_usage() to retrieve the latest estimate of CPU usage.'''
153 def cpu_usage(self): member in class:Poller
198 print('Total cpu %f seconds' % m.cpu_usage(), file=sys.stderr)
H A Drun_tests.py251 thread_cpu_usage = c.cpu_usage()
293 cpu_usage = c.cpu_usage()
321 'cpu_time': cpu_usage,

Completed in 37 milliseconds