x86_double_fault_get_cpu - Haiku

Symbol: x86_double_fault_get_cpu

headers/private/kernel/arch/x86/arch_cpu.h

int32 x86_double_fault_get_cpu(void);

src/system/kernel/arch/x86/32/descriptors.cpp

int cpu = x86_double_fault_get_cpu();

src/system/kernel/arch/x86/32/descriptors.cpp

int32 currentCPU = x86_double_fault_get_cpu();

src/system/kernel/arch/x86/64/descriptors.cpp

int cpu = x86_double_fault_get_cpu();