Searched refs:arch_init_timer (Results 1 – 10 of 10) sorted by relevance
21 int arch_init_timer(kernel_args *ka) in arch_init_timer() function
29 arch_init_timer(kernel_args *args) in arch_init_timer() function
18 extern int arch_init_timer(struct kernel_args *args);
37 arch_init_timer(kernel_args *args) in arch_init_timer() function
40 arch_init_timer(kernel_args *ka) in arch_init_timer() function
75 arch_init_timer(kernel_args *args) in arch_init_timer() function
54 arch_init_timer(kernel_args *args) in arch_init_timer() function
55 arch_init_timer(kernel_args *args) in arch_init_timer() function
94 arch_init_timer(kernel_args *args) in arch_init_timer() function
213 if (arch_init_timer(args) != B_OK) in timer_init()