1dd540b46SJohn Baldwin /*- 2dd540b46SJohn Baldwin * Copyright (c) 2010 Advanced Computing Technologies LLC 3dd540b46SJohn Baldwin * Written by: John H. Baldwin <jhb@FreeBSD.org> 4dd540b46SJohn Baldwin * All rights reserved. 5dd540b46SJohn Baldwin * 6dd540b46SJohn Baldwin * Redistribution and use in source and binary forms, with or without 7dd540b46SJohn Baldwin * modification, are permitted provided that the following conditions 8dd540b46SJohn Baldwin * are met: 9dd540b46SJohn Baldwin * 1. Redistributions of source code must retain the above copyright 10dd540b46SJohn Baldwin * notice, this list of conditions and the following disclaimer. 11dd540b46SJohn Baldwin * 2. Redistributions in binary form must reproduce the above copyright 12dd540b46SJohn Baldwin * notice, this list of conditions and the following disclaimer in the 13dd540b46SJohn Baldwin * documentation and/or other materials provided with the distribution. 14dd540b46SJohn Baldwin * 15dd540b46SJohn Baldwin * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 16dd540b46SJohn Baldwin * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 17dd540b46SJohn Baldwin * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 18dd540b46SJohn Baldwin * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 19dd540b46SJohn Baldwin * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 20dd540b46SJohn Baldwin * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 21dd540b46SJohn Baldwin * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 22dd540b46SJohn Baldwin * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 23dd540b46SJohn Baldwin * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 24dd540b46SJohn Baldwin * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 25dd540b46SJohn Baldwin * SUCH DAMAGE. 26dd540b46SJohn Baldwin */ 27dd540b46SJohn Baldwin 28dd540b46SJohn Baldwin #include <sys/cdefs.h> 29dd540b46SJohn Baldwin __FBSDID("$FreeBSD$"); 30dd540b46SJohn Baldwin 31dd540b46SJohn Baldwin #include <sys/param.h> 32dd540b46SJohn Baldwin #include <sys/bus.h> 33dd540b46SJohn Baldwin #include <sys/kernel.h> 34449c2e92SKonstantin Belousov #include <sys/lock.h> 35449c2e92SKonstantin Belousov #include <sys/mutex.h> 36dd540b46SJohn Baldwin #include <sys/smp.h> 37449c2e92SKonstantin Belousov #include <sys/vmmeter.h> 38dd540b46SJohn Baldwin #include <vm/vm.h> 39dd540b46SJohn Baldwin #include <vm/pmap.h> 40dd540b46SJohn Baldwin #include <vm/vm_param.h> 41449c2e92SKonstantin Belousov #include <vm/vm_page.h> 42dd540b46SJohn Baldwin #include <vm/vm_phys.h> 43dd540b46SJohn Baldwin 44dd540b46SJohn Baldwin #include <contrib/dev/acpica/include/acpi.h> 45dd540b46SJohn Baldwin #include <contrib/dev/acpica/include/actables.h> 46dd540b46SJohn Baldwin 47dd540b46SJohn Baldwin #include <machine/intr_machdep.h> 48e07ef9b0SJohn Baldwin #include <x86/apicvar.h> 49dd540b46SJohn Baldwin 50dd540b46SJohn Baldwin #include <dev/acpica/acpivar.h> 51dd540b46SJohn Baldwin 52941646f5SAttilio Rao #if MAXMEMDOM > 1 53dd540b46SJohn Baldwin struct cpu_info { 54dd540b46SJohn Baldwin int enabled:1; 55dd540b46SJohn Baldwin int has_memory:1; 56dd540b46SJohn Baldwin int domain; 57dd540b46SJohn Baldwin } cpus[MAX_APIC_ID + 1]; 58dd540b46SJohn Baldwin 59dd540b46SJohn Baldwin struct mem_affinity mem_info[VM_PHYSSEG_MAX + 1]; 60dd540b46SJohn Baldwin int num_mem; 61dd540b46SJohn Baldwin 62dd540b46SJohn Baldwin static ACPI_TABLE_SRAT *srat; 63dd540b46SJohn Baldwin static vm_paddr_t srat_physaddr; 64dd540b46SJohn Baldwin 65fc4f524aSAdrian Chadd static int vm_domains[VM_PHYSSEG_MAX]; 66fc4f524aSAdrian Chadd 67dd540b46SJohn Baldwin static void srat_walk_table(acpi_subtable_handler *handler, void *arg); 68dd540b46SJohn Baldwin 694d99cfb3SJohn Baldwin /* 704d99cfb3SJohn Baldwin * Returns true if a memory range overlaps with at least one range in 714d99cfb3SJohn Baldwin * phys_avail[]. 724d99cfb3SJohn Baldwin */ 734d99cfb3SJohn Baldwin static int 744d99cfb3SJohn Baldwin overlaps_phys_avail(vm_paddr_t start, vm_paddr_t end) 754d99cfb3SJohn Baldwin { 764d99cfb3SJohn Baldwin int i; 774d99cfb3SJohn Baldwin 784d99cfb3SJohn Baldwin for (i = 0; phys_avail[i] != 0 && phys_avail[i + 1] != 0; i += 2) { 794d99cfb3SJohn Baldwin if (phys_avail[i + 1] < start) 804d99cfb3SJohn Baldwin continue; 814d99cfb3SJohn Baldwin if (phys_avail[i] < end) 824d99cfb3SJohn Baldwin return (1); 834d99cfb3SJohn Baldwin break; 844d99cfb3SJohn Baldwin } 854d99cfb3SJohn Baldwin return (0); 864d99cfb3SJohn Baldwin 874d99cfb3SJohn Baldwin } 884d99cfb3SJohn Baldwin 89dd540b46SJohn Baldwin static void 90dd540b46SJohn Baldwin srat_parse_entry(ACPI_SUBTABLE_HEADER *entry, void *arg) 91dd540b46SJohn Baldwin { 92dd540b46SJohn Baldwin ACPI_SRAT_CPU_AFFINITY *cpu; 93dd540b46SJohn Baldwin ACPI_SRAT_X2APIC_CPU_AFFINITY *x2apic; 94dd540b46SJohn Baldwin ACPI_SRAT_MEM_AFFINITY *mem; 95dd540b46SJohn Baldwin int domain, i, slot; 96dd540b46SJohn Baldwin 97dd540b46SJohn Baldwin switch (entry->Type) { 98dd540b46SJohn Baldwin case ACPI_SRAT_TYPE_CPU_AFFINITY: 99dd540b46SJohn Baldwin cpu = (ACPI_SRAT_CPU_AFFINITY *)entry; 100dd540b46SJohn Baldwin domain = cpu->ProximityDomainLo | 101dd540b46SJohn Baldwin cpu->ProximityDomainHi[0] << 8 | 102dd540b46SJohn Baldwin cpu->ProximityDomainHi[1] << 16 | 103dd540b46SJohn Baldwin cpu->ProximityDomainHi[2] << 24; 104dd540b46SJohn Baldwin if (bootverbose) 105dd540b46SJohn Baldwin printf("SRAT: Found CPU APIC ID %u domain %d: %s\n", 106dd540b46SJohn Baldwin cpu->ApicId, domain, 107dd540b46SJohn Baldwin (cpu->Flags & ACPI_SRAT_CPU_ENABLED) ? 108dd540b46SJohn Baldwin "enabled" : "disabled"); 109dd540b46SJohn Baldwin if (!(cpu->Flags & ACPI_SRAT_CPU_ENABLED)) 110dd540b46SJohn Baldwin break; 111dd540b46SJohn Baldwin KASSERT(!cpus[cpu->ApicId].enabled, 112dd540b46SJohn Baldwin ("Duplicate local APIC ID %u", cpu->ApicId)); 113dd540b46SJohn Baldwin cpus[cpu->ApicId].domain = domain; 114dd540b46SJohn Baldwin cpus[cpu->ApicId].enabled = 1; 115dd540b46SJohn Baldwin break; 116dd540b46SJohn Baldwin case ACPI_SRAT_TYPE_X2APIC_CPU_AFFINITY: 117dd540b46SJohn Baldwin x2apic = (ACPI_SRAT_X2APIC_CPU_AFFINITY *)entry; 118dd540b46SJohn Baldwin if (bootverbose) 119dd540b46SJohn Baldwin printf("SRAT: Found CPU APIC ID %u domain %d: %s\n", 120dd540b46SJohn Baldwin x2apic->ApicId, x2apic->ProximityDomain, 121dd540b46SJohn Baldwin (x2apic->Flags & ACPI_SRAT_CPU_ENABLED) ? 122dd540b46SJohn Baldwin "enabled" : "disabled"); 123dd540b46SJohn Baldwin if (!(x2apic->Flags & ACPI_SRAT_CPU_ENABLED)) 124dd540b46SJohn Baldwin break; 125dd540b46SJohn Baldwin KASSERT(!cpus[x2apic->ApicId].enabled, 126dd540b46SJohn Baldwin ("Duplicate local APIC ID %u", x2apic->ApicId)); 127dd540b46SJohn Baldwin cpus[x2apic->ApicId].domain = x2apic->ProximityDomain; 128dd540b46SJohn Baldwin cpus[x2apic->ApicId].enabled = 1; 129dd540b46SJohn Baldwin break; 130dd540b46SJohn Baldwin case ACPI_SRAT_TYPE_MEMORY_AFFINITY: 131dd540b46SJohn Baldwin mem = (ACPI_SRAT_MEM_AFFINITY *)entry; 132dd540b46SJohn Baldwin if (bootverbose) 133dd540b46SJohn Baldwin printf( 134dd540b46SJohn Baldwin "SRAT: Found memory domain %d addr %jx len %jx: %s\n", 135dd540b46SJohn Baldwin mem->ProximityDomain, (uintmax_t)mem->BaseAddress, 136dd540b46SJohn Baldwin (uintmax_t)mem->Length, 137dd540b46SJohn Baldwin (mem->Flags & ACPI_SRAT_MEM_ENABLED) ? 138dd540b46SJohn Baldwin "enabled" : "disabled"); 139dd540b46SJohn Baldwin if (!(mem->Flags & ACPI_SRAT_MEM_ENABLED)) 140dd540b46SJohn Baldwin break; 1414d99cfb3SJohn Baldwin if (!overlaps_phys_avail(mem->BaseAddress, 1424d99cfb3SJohn Baldwin mem->BaseAddress + mem->Length)) { 1434d99cfb3SJohn Baldwin printf("SRAT: Ignoring memory at addr %jx\n", 1444d99cfb3SJohn Baldwin (uintmax_t)mem->BaseAddress); 1454d99cfb3SJohn Baldwin break; 1464d99cfb3SJohn Baldwin } 147dd540b46SJohn Baldwin if (num_mem == VM_PHYSSEG_MAX) { 148dd540b46SJohn Baldwin printf("SRAT: Too many memory regions\n"); 149dd540b46SJohn Baldwin *(int *)arg = ENXIO; 150dd540b46SJohn Baldwin break; 151dd540b46SJohn Baldwin } 152dd540b46SJohn Baldwin slot = num_mem; 153dd540b46SJohn Baldwin for (i = 0; i < num_mem; i++) { 154dd540b46SJohn Baldwin if (mem_info[i].end <= mem->BaseAddress) 155dd540b46SJohn Baldwin continue; 156dd540b46SJohn Baldwin if (mem_info[i].start < 157dd540b46SJohn Baldwin (mem->BaseAddress + mem->Length)) { 158dd540b46SJohn Baldwin printf("SRAT: Overlapping memory entries\n"); 159dd540b46SJohn Baldwin *(int *)arg = ENXIO; 160dd540b46SJohn Baldwin return; 161dd540b46SJohn Baldwin } 162dd540b46SJohn Baldwin slot = i; 163dd540b46SJohn Baldwin } 164dd540b46SJohn Baldwin for (i = num_mem; i > slot; i--) 165dd540b46SJohn Baldwin mem_info[i] = mem_info[i - 1]; 166dd540b46SJohn Baldwin mem_info[slot].start = mem->BaseAddress; 167dd540b46SJohn Baldwin mem_info[slot].end = mem->BaseAddress + mem->Length; 168dd540b46SJohn Baldwin mem_info[slot].domain = mem->ProximityDomain; 169dd540b46SJohn Baldwin num_mem++; 170dd540b46SJohn Baldwin break; 171dd540b46SJohn Baldwin } 172dd540b46SJohn Baldwin } 173dd540b46SJohn Baldwin 174dd540b46SJohn Baldwin /* 175dd540b46SJohn Baldwin * Ensure each memory domain has at least one CPU and that each CPU 176dd540b46SJohn Baldwin * has at least one memory domain. 177dd540b46SJohn Baldwin */ 178dd540b46SJohn Baldwin static int 179dd540b46SJohn Baldwin check_domains(void) 180dd540b46SJohn Baldwin { 181dd540b46SJohn Baldwin int found, i, j; 182dd540b46SJohn Baldwin 183dd540b46SJohn Baldwin for (i = 0; i < num_mem; i++) { 184dd540b46SJohn Baldwin found = 0; 185dd540b46SJohn Baldwin for (j = 0; j <= MAX_APIC_ID; j++) 1866676877bSJohn Baldwin if (cpus[j].enabled && 1876676877bSJohn Baldwin cpus[j].domain == mem_info[i].domain) { 188dd540b46SJohn Baldwin cpus[j].has_memory = 1; 189dd540b46SJohn Baldwin found++; 190dd540b46SJohn Baldwin } 191dd540b46SJohn Baldwin if (!found) { 192dd540b46SJohn Baldwin printf("SRAT: No CPU found for memory domain %d\n", 193dd540b46SJohn Baldwin mem_info[i].domain); 194dd540b46SJohn Baldwin return (ENXIO); 195dd540b46SJohn Baldwin } 196dd540b46SJohn Baldwin } 197dd540b46SJohn Baldwin for (i = 0; i <= MAX_APIC_ID; i++) 198dd540b46SJohn Baldwin if (cpus[i].enabled && !cpus[i].has_memory) { 199dd540b46SJohn Baldwin printf("SRAT: No memory found for CPU %d\n", i); 200dd540b46SJohn Baldwin return (ENXIO); 201dd540b46SJohn Baldwin } 202dd540b46SJohn Baldwin return (0); 203dd540b46SJohn Baldwin } 204dd540b46SJohn Baldwin 205dd540b46SJohn Baldwin /* 206dd540b46SJohn Baldwin * Check that the SRAT memory regions cover all of the regions in 207dd540b46SJohn Baldwin * phys_avail[]. 208dd540b46SJohn Baldwin */ 209dd540b46SJohn Baldwin static int 210dd540b46SJohn Baldwin check_phys_avail(void) 211dd540b46SJohn Baldwin { 212dd540b46SJohn Baldwin vm_paddr_t address; 213dd540b46SJohn Baldwin int i, j; 214dd540b46SJohn Baldwin 215dd540b46SJohn Baldwin /* j is the current offset into phys_avail[]. */ 216dd540b46SJohn Baldwin address = phys_avail[0]; 217dd540b46SJohn Baldwin j = 0; 218dd540b46SJohn Baldwin for (i = 0; i < num_mem; i++) { 219dd540b46SJohn Baldwin /* 220dd540b46SJohn Baldwin * Consume as many phys_avail[] entries as fit in this 221dd540b46SJohn Baldwin * region. 222dd540b46SJohn Baldwin */ 223dd540b46SJohn Baldwin while (address >= mem_info[i].start && 224dd540b46SJohn Baldwin address <= mem_info[i].end) { 225dd540b46SJohn Baldwin /* 226dd540b46SJohn Baldwin * If we cover the rest of this phys_avail[] entry, 227dd540b46SJohn Baldwin * advance to the next entry. 228dd540b46SJohn Baldwin */ 229dd540b46SJohn Baldwin if (phys_avail[j + 1] <= mem_info[i].end) { 230dd540b46SJohn Baldwin j += 2; 231dd540b46SJohn Baldwin if (phys_avail[j] == 0 && 232dd540b46SJohn Baldwin phys_avail[j + 1] == 0) { 233dd540b46SJohn Baldwin return (0); 234dd540b46SJohn Baldwin } 235dd540b46SJohn Baldwin address = phys_avail[j]; 236dd540b46SJohn Baldwin } else 237dd540b46SJohn Baldwin address = mem_info[i].end + 1; 238dd540b46SJohn Baldwin } 239dd540b46SJohn Baldwin } 240dd540b46SJohn Baldwin printf("SRAT: No memory region found for %jx - %jx\n", 241dd540b46SJohn Baldwin (uintmax_t)phys_avail[j], (uintmax_t)phys_avail[j + 1]); 242dd540b46SJohn Baldwin return (ENXIO); 243dd540b46SJohn Baldwin } 244dd540b46SJohn Baldwin 245dd540b46SJohn Baldwin /* 246dd540b46SJohn Baldwin * Renumber the memory domains to be compact and zero-based if not 24728990874SJohn Baldwin * already. Returns an error if there are too many domains. 248dd540b46SJohn Baldwin */ 24928990874SJohn Baldwin static int 250dd540b46SJohn Baldwin renumber_domains(void) 251dd540b46SJohn Baldwin { 2527e226537SAttilio Rao int i, j, slot; 253dd540b46SJohn Baldwin 254dd540b46SJohn Baldwin /* Enumerate all the domains. */ 2557e226537SAttilio Rao vm_ndomains = 0; 256dd540b46SJohn Baldwin for (i = 0; i < num_mem; i++) { 257dd540b46SJohn Baldwin /* See if this domain is already known. */ 2587e226537SAttilio Rao for (j = 0; j < vm_ndomains; j++) { 259fc4f524aSAdrian Chadd if (vm_domains[j] >= mem_info[i].domain) 260dd540b46SJohn Baldwin break; 261dd540b46SJohn Baldwin } 262fc4f524aSAdrian Chadd if (j < vm_ndomains && vm_domains[j] == mem_info[i].domain) 263dd540b46SJohn Baldwin continue; 264dd540b46SJohn Baldwin 265dd540b46SJohn Baldwin /* Insert the new domain at slot 'j'. */ 266dd540b46SJohn Baldwin slot = j; 2677e226537SAttilio Rao for (j = vm_ndomains; j > slot; j--) 268fc4f524aSAdrian Chadd vm_domains[j] = vm_domains[j - 1]; 269fc4f524aSAdrian Chadd vm_domains[slot] = mem_info[i].domain; 2707e226537SAttilio Rao vm_ndomains++; 2717e226537SAttilio Rao if (vm_ndomains > MAXMEMDOM) { 2727e226537SAttilio Rao vm_ndomains = 1; 27328990874SJohn Baldwin printf("SRAT: Too many memory domains\n"); 27428990874SJohn Baldwin return (EFBIG); 27528990874SJohn Baldwin } 276dd540b46SJohn Baldwin } 277dd540b46SJohn Baldwin 278dd540b46SJohn Baldwin /* Renumber each domain to its index in the sorted 'domains' list. */ 2797e226537SAttilio Rao for (i = 0; i < vm_ndomains; i++) { 280dd540b46SJohn Baldwin /* 281dd540b46SJohn Baldwin * If the domain is already the right value, no need 282dd540b46SJohn Baldwin * to renumber. 283dd540b46SJohn Baldwin */ 284fc4f524aSAdrian Chadd if (vm_domains[i] == i) 285dd540b46SJohn Baldwin continue; 286dd540b46SJohn Baldwin 287dd540b46SJohn Baldwin /* Walk the cpu[] and mem_info[] arrays to renumber. */ 288dd540b46SJohn Baldwin for (j = 0; j < num_mem; j++) 289fc4f524aSAdrian Chadd if (mem_info[j].domain == vm_domains[i]) 290dd540b46SJohn Baldwin mem_info[j].domain = i; 291dd540b46SJohn Baldwin for (j = 0; j <= MAX_APIC_ID; j++) 292fc4f524aSAdrian Chadd if (cpus[j].enabled && cpus[j].domain == vm_domains[i]) 293dd540b46SJohn Baldwin cpus[j].domain = i; 294dd540b46SJohn Baldwin } 2957e226537SAttilio Rao KASSERT(vm_ndomains > 0, 2967e226537SAttilio Rao ("renumber_domains: invalid final vm_ndomains setup")); 2977e226537SAttilio Rao 29828990874SJohn Baldwin return (0); 299dd540b46SJohn Baldwin } 300dd540b46SJohn Baldwin 301dd540b46SJohn Baldwin /* 302dd540b46SJohn Baldwin * Look for an ACPI System Resource Affinity Table ("SRAT") 303dd540b46SJohn Baldwin */ 304dd540b46SJohn Baldwin static void 305dd540b46SJohn Baldwin parse_srat(void *dummy) 306dd540b46SJohn Baldwin { 307dd540b46SJohn Baldwin int error; 308dd540b46SJohn Baldwin 309dd540b46SJohn Baldwin if (resource_disabled("srat", 0)) 310dd540b46SJohn Baldwin return; 311dd540b46SJohn Baldwin 312dd540b46SJohn Baldwin srat_physaddr = acpi_find_table(ACPI_SIG_SRAT); 313dd540b46SJohn Baldwin if (srat_physaddr == 0) 314dd540b46SJohn Baldwin return; 315dd540b46SJohn Baldwin 316dd540b46SJohn Baldwin /* 317dd540b46SJohn Baldwin * Make a pass over the table to populate the cpus[] and 318dd540b46SJohn Baldwin * mem_info[] tables. 319dd540b46SJohn Baldwin */ 320dd540b46SJohn Baldwin srat = acpi_map_table(srat_physaddr, ACPI_SIG_SRAT); 321dd540b46SJohn Baldwin error = 0; 322dd540b46SJohn Baldwin srat_walk_table(srat_parse_entry, &error); 323dd540b46SJohn Baldwin acpi_unmap_table(srat); 324dd540b46SJohn Baldwin srat = NULL; 32528990874SJohn Baldwin if (error || check_domains() != 0 || check_phys_avail() != 0 || 32628990874SJohn Baldwin renumber_domains() != 0) { 327dd540b46SJohn Baldwin srat_physaddr = 0; 328dd540b46SJohn Baldwin return; 329dd540b46SJohn Baldwin } 330dd540b46SJohn Baldwin 331dd540b46SJohn Baldwin /* Point vm_phys at our memory affinity table. */ 332dd540b46SJohn Baldwin mem_affinity = mem_info; 333dd540b46SJohn Baldwin } 334dd540b46SJohn Baldwin SYSINIT(parse_srat, SI_SUB_VM - 1, SI_ORDER_FIRST, parse_srat, NULL); 335dd540b46SJohn Baldwin 336dd540b46SJohn Baldwin static void 337dd540b46SJohn Baldwin srat_walk_table(acpi_subtable_handler *handler, void *arg) 338dd540b46SJohn Baldwin { 339dd540b46SJohn Baldwin 340dd540b46SJohn Baldwin acpi_walk_subtables(srat + 1, (char *)srat + srat->Header.Length, 341dd540b46SJohn Baldwin handler, arg); 342dd540b46SJohn Baldwin } 343dd540b46SJohn Baldwin 344dd540b46SJohn Baldwin /* 345*c0ae6688SJohn Baldwin * Setup per-CPU domain IDs. 346dd540b46SJohn Baldwin */ 347dd540b46SJohn Baldwin static void 348dd540b46SJohn Baldwin srat_set_cpus(void *dummy) 349dd540b46SJohn Baldwin { 350dd540b46SJohn Baldwin struct cpu_info *cpu; 351dd540b46SJohn Baldwin struct pcpu *pc; 352dd540b46SJohn Baldwin u_int i; 353dd540b46SJohn Baldwin 354dd540b46SJohn Baldwin if (srat_physaddr == 0) 355dd540b46SJohn Baldwin return; 356dd540b46SJohn Baldwin for (i = 0; i < MAXCPU; i++) { 357dd540b46SJohn Baldwin if (CPU_ABSENT(i)) 358dd540b46SJohn Baldwin continue; 359dd540b46SJohn Baldwin pc = pcpu_find(i); 360dd540b46SJohn Baldwin KASSERT(pc != NULL, ("no pcpu data for CPU %u", i)); 361dd540b46SJohn Baldwin cpu = &cpus[pc->pc_apic_id]; 362dd540b46SJohn Baldwin if (!cpu->enabled) 363dd540b46SJohn Baldwin panic("SRAT: CPU with APIC ID %u is not known", 364dd540b46SJohn Baldwin pc->pc_apic_id); 365dd540b46SJohn Baldwin pc->pc_domain = cpu->domain; 366*c0ae6688SJohn Baldwin CPU_SET(i, &cpuset_domain[cpu->domain]); 367dd540b46SJohn Baldwin if (bootverbose) 368dd540b46SJohn Baldwin printf("SRAT: CPU %u has memory domain %d\n", i, 369dd540b46SJohn Baldwin cpu->domain); 370dd540b46SJohn Baldwin } 371dd540b46SJohn Baldwin } 372dd540b46SJohn Baldwin SYSINIT(srat_set_cpus, SI_SUB_CPU, SI_ORDER_ANY, srat_set_cpus, NULL); 373fc4f524aSAdrian Chadd 374fc4f524aSAdrian Chadd /* 375fc4f524aSAdrian Chadd * Map a _PXM value to a VM domain ID. 376fc4f524aSAdrian Chadd * 377fc4f524aSAdrian Chadd * Returns the domain ID, or -1 if no domain ID was found. 378fc4f524aSAdrian Chadd */ 379fc4f524aSAdrian Chadd int 380fc4f524aSAdrian Chadd acpi_map_pxm_to_vm_domainid(int pxm) 381fc4f524aSAdrian Chadd { 382fc4f524aSAdrian Chadd int i; 383fc4f524aSAdrian Chadd 384fc4f524aSAdrian Chadd for (i = 0; i < vm_ndomains; i++) { 385fc4f524aSAdrian Chadd if (vm_domains[i] == pxm) 386fc4f524aSAdrian Chadd return (i); 387fc4f524aSAdrian Chadd } 388fc4f524aSAdrian Chadd 389fc4f524aSAdrian Chadd return (-1); 390fc4f524aSAdrian Chadd } 391fc4f524aSAdrian Chadd 392941646f5SAttilio Rao #endif /* MAXMEMDOM > 1 */ 393