Symbol: x86_descriptors_preboot_init_percpu
headers/private/kernel/arch/x86/descriptors.h
50
void x86_descriptors_preboot_init_percpu(kernel_args* args, int cpu);
src/system/kernel/arch/x86/arch_cpu.cpp
1581
x86_descriptors_preboot_init_percpu(args, cpu);