src/system/kernel/arch/arm/arch_timer.cpp

55

arch_init_timer(kernel_args *args)

src/system/kernel/arch/arm64/arch_timer.cpp

54

arch_init_timer(kernel_args *args)

src/system/kernel/arch/m68k/arch_timer.cpp

37

arch_init_timer(kernel_args *args)

src/system/kernel/arch/mips/arch_timer.cpp

21

int arch_init_timer(kernel_args *ka)

src/system/kernel/arch/ppc/arch_timer.cpp

40

arch_init_timer(kernel_args *ka)

src/system/kernel/arch/riscv64/arch_timer.cpp

75

arch_init_timer(kernel_args *args)

src/system/kernel/arch/sparc/arch_timer.cpp

29

arch_init_timer(kernel_args *args)

src/system/kernel/arch/x86/arch_timer.cpp

94

arch_init_timer(kernel_args *args)