Searched refs:arch_int_init_post_device_manager (Results 1 - 9 of 9) sorted by relevance

/haiku/src/system/kernel/arch/sparc/
H A Darch_int.cpp28 arch_int_init_post_device_manager(struct kernel_args *args) function
/haiku/headers/private/kernel/arch/
H A Dint.h28 status_t arch_int_init_post_device_manager(struct kernel_args* args);
/haiku/src/system/kernel/arch/x86/
H A Darch_int.cpp476 arch_int_init_post_device_manager(kernel_args* args) function
/haiku/src/system/kernel/arch/arm64/
H A Darch_int.cpp119 arch_int_init_post_device_manager(struct kernel_args *args) function
/haiku/src/system/kernel/arch/ppc/
H A Darch_int.cpp51 // in arch_int_init_post_device_manager())
490 arch_int_init_post_device_manager(struct kernel_args *args) function
496 panic("arch_int_init_post_device_manager(): Found no PIC modules!");
505 panic("arch_int_init_post_device_manager(): Failed to get device "
541 panic("arch_int_init_post_device_manager(): Found no supported PIC!");
/haiku/src/system/kernel/arch/arm/
H A Darch_int.cpp197 arch_int_init_post_device_manager(struct kernel_args *args) function
/haiku/src/system/kernel/arch/m68k/
H A Darch_int.cpp67 // in arch_int_init_post_device_manager())
525 arch_int_init_post_device_manager(struct kernel_args *args) function
532 panic("arch_int_init_post_device_manager(): Found no PIC modules!");
541 panic("arch_int_init_post_device_manager(): Failed to get device "
579 panic("arch_int_init_post_device_manager(): Found no supported PIC!");
/haiku/src/system/kernel/arch/riscv64/
H A Darch_int.cpp594 arch_int_init_post_device_manager(struct kernel_args* args) function
/haiku/src/system/kernel/
H A Dint.cpp246 return arch_int_init_post_device_manager(args);

Completed in 101 milliseconds