acpi_pxm_init
acpi_pxm_init(MAXCPU, parange);
int acpi_pxm_init(int ncpus, vm_paddr_t maxphys);
acpi_pxm_init(max_apic_id + 1, cpu_getmaxphyaddr());