Symbol: arch_int_init
headers/private/kernel/arch/int.h
25
status_t arch_int_init(struct kernel_args* args);
src/system/kernel/interrupts.cpp
182
return arch_int_init(args);