cpu_find
cpup = cpu_find(id);
cpup = cpu_find(cpu->ApicId);
KASSERT(cpu_find(x2apic->ApicId) == NULL,
KASSERT(cpu_find(gicc->AcpiProcessorUid) == NULL,
cpu = cpu_find(apic_id);