lapic_cpu_number
extern uint32_t lapic_cpu_number(void);
cpu_info_primary.ci_cpuid = lapic_cpu_number();
if (cpunum != lapic_cpu_number()) {
" instead of at expected %d", lapic_cpu_number(),
if (cpunum != lapic_cpu_number()) {
cpunum = lapic_cpu_number();