ACPI MADT: Don't use the "Initial APIC ID" in cpu_procinfo(cpuid.1)
[dragonfly.git] / sys / platform /
drwxr-xr-x   ..
drwxr-xr-x - pc32
drwxr-xr-x - pc64
drwxr-xr-x - vkernel