Searched refs:kernel_timer (Results 1 – 6 of 6) sorted by relevance
322 offsetof(struct processor, kernel_timer)); in main()
448 boot_processor->kernel_timer = &thread->system_timer; in arm_init()
403 timer_t kernel_timer; /* points to current thread's system_timer */ member
965 processor->thread_timer = processor->kernel_timer = &thread->system_timer; in load_context()
2947 processor->kernel_timer = &thread->system_timer; in thread_invoke()3096 processor->kernel_timer = &thread->system_timer; in thread_invoke()
470 offsetof(struct processor, kernel_timer)); in main()