x86: Use ACPI/MP for num_cores detection
[akaros.git] / kern / include / mmio.h
2015-03-01 Barret RhodenLinux's MMIO helpers