Searched defs:system_timer (Results 1 – 3 of 3) sorted by relevance
227 system_timer: timer@7c003000 { label
69 system_timer: timer@7e003000 { label
172 unsigned long system_timer; /* task cputime in kernel space */ member