madt_add_cpu
madt_add_cpu(proc->ProcessorId, proc->Id, proc->LapicFlags);
madt_add_cpu(x2apic->Uid, x2apic->LocalApicId,