acpi/pstate: Print coordination

diff --git a/sys/dev/acpica5/acpi_cpu_pstate.c b/sys/dev/acpica5/acpi_cpu_pstate.c
index 22a7990..a5dca3d 100644 (file)
--- a/sys/dev/acpica5/acpi_cpu_pstate.c
+++ b/sys/dev/acpica5/acpi_cpu_pstate.c
@@ -631,8 +631,10 @@ acpi_pst_domain_create_pkg(device_t dev, ACPI_OBJECT *obj)
        }
 
        dom = acpi_pst_domain_alloc(domain, coord, nproc);
-       if (bootverbose)
-               device_printf(dev, "create pkg domain%u\n", dom->pd_dom);
+       if (bootverbose) {
+               device_printf(dev, "create pkg domain%u, coord %#x\n",
+                   dom->pd_dom, dom->pd_coord);
+       }
 
        return dom;
 }