headers/private/kernel/boot/platform/efi/arch_smp.h

20

void arch_smp_register_cpu(platform_cpu_info** cpu);

headers/private/kernel/boot/platform/efi/arch_smp.h

21

platform_cpu_info* arch_smp_find_cpu(uint32 phandle);

headers/private/kernel/boot/platform/efi/arch_smp.h

27

void arch_smp_register_cpu(platform_cpu_info** cpu);

headers/private/kernel/boot/platform/efi/arch_smp.h

34

void arch_smp_register_cpu(platform_cpu_info** cpu);

src/system/boot/platform/efi/arch/arm/arch_dtb.cpp

53

platform_cpu_info* info;

src/system/boot/platform/efi/arch/arm/arch_smp.cpp

28

static platform_cpu_info sCpus[SMP_MAX_CPUS];

src/system/boot/platform/efi/arch/arm/arch_smp.cpp

33

arch_smp_register_cpu(platform_cpu_info** cpu)

src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp

99

platform_cpu_info* cpu = NULL;

src/system/boot/platform/efi/arch/arm64/arch_dtb.cpp

45

platform_cpu_info* info = NULL;

src/system/boot/platform/efi/arch/arm64/arch_smp.cpp

141

platform_cpu_info* cpu = &sCpus[i];

src/system/boot/platform/efi/arch/arm64/arch_smp.cpp

52

static platform_cpu_info sCpus[SMP_MAX_CPUS];

src/system/boot/platform/efi/arch/arm64/arch_smp.cpp

57

arch_smp_register_cpu(platform_cpu_info** cpu)

src/system/boot/platform/efi/arch/riscv64/arch_dtb.cpp

50

platform_cpu_info* info;

src/system/boot/platform/efi/arch/riscv64/arch_dtb.cpp

91

platform_cpu_info* cpuInfo = arch_smp_find_cpu(phandle);

src/system/boot/platform/efi/arch/riscv64/arch_smp.cpp

131

arch_smp_register_cpu(platform_cpu_info** cpu)

src/system/boot/platform/efi/arch/riscv64/arch_smp.cpp

144

platform_cpu_info*

src/system/boot/platform/efi/arch/riscv64/arch_smp.cpp

43

static platform_cpu_info sCpus[SMP_MAX_CPUS];