Home
last modified time | relevance | path

Searched refs:platform_cpu_info (Results 1 – 7 of 7) sorted by relevance

/haiku/headers/private/kernel/boot/platform/efi/
H A Darch_smp.h15 struct platform_cpu_info { struct
27 void arch_smp_register_cpu(platform_cpu_info** cpu); argument
34 platform_cpu_info* arch_smp_find_cpu(uint32 phandle);
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_smp.cpp28 static platform_cpu_info sCpus[SMP_MAX_CPUS];
33 arch_smp_register_cpu(platform_cpu_info** cpu) in arch_smp_register_cpu()
H A Darch_dtb.cpp53 platform_cpu_info* info; in arch_handle_fdt()
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_smp.cpp43 static platform_cpu_info sCpus[SMP_MAX_CPUS];
131 arch_smp_register_cpu(platform_cpu_info** cpu) in arch_smp_register_cpu()
144 platform_cpu_info*
H A Darch_dtb.cpp50 platform_cpu_info* info; in arch_handle_fdt()
91 platform_cpu_info* cpuInfo = arch_smp_find_cpu(phandle); in arch_handle_fdt()
/haiku/src/system/boot/platform/efi/arch/arm64/
H A Darch_smp.cpp29 arch_smp_register_cpu(platform_cpu_info** cpu) in arch_smp_register_cpu()
H A Darch_dtb.cpp45 platform_cpu_info* info = NULL; in arch_handle_fdt()