Searched refs:arch_smp_register_cpu (Results 1 - 7 of 7) sorted by relevance

/haiku/headers/private/kernel/boot/platform/efi/
H A Darch_smp.h27 void arch_smp_register_cpu(platform_cpu_info** cpu);
/haiku/src/system/boot/platform/efi/arch/arm64/
H A Darch_smp.cpp29 arch_smp_register_cpu(platform_cpu_info** cpu) function
31 dprintf("TODO: arch_smp_register_cpu()\n");
H A Darch_dtb.cpp46 arch_smp_register_cpu(&info);
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_smp.cpp33 arch_smp_register_cpu(platform_cpu_info** cpu) function
35 dprintf("arch_smp_register_cpu()\n");
H A Darch_dtb.cpp54 arch_smp_register_cpu(&info);
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_dtb.cpp51 arch_smp_register_cpu(&info);
H A Darch_smp.cpp131 arch_smp_register_cpu(platform_cpu_info** cpu) function
133 dprintf("arch_smp_register_cpu()\n");

Completed in 108 milliseconds