Searched defs:system_timer (Results 1 – 4 of 4) sorted by relevance
232 system_timer: timer@41c00000 { label
69 system_timer: timer@7e003000 { label
115 unsigned long system_timer; /* task cputime in kernel space */ member
90 __u64 system_timer; /* 0x02e0 */ member