madt_find_cpu
else if (madt_find_cpu(acpi_id, &apic_id) != 0) {
static int madt_find_cpu(u_int acpi_id, u_int *apic_id);