Lines Matching refs:cpu_dev
65 device_t cpu_dev; member
145 device_printf(sc->cpu_dev, in xen_upload_cx()
172 device_printf(sc->cpu_dev, "missing _PPC object\n"); in xen_upload_px()
199 device_printf(sc->cpu_dev, in xen_upload_px()
207 device_printf(sc->cpu_dev, in xen_upload_px()
237 device_printf(sc->cpu_dev, in acpi_set_pdc()
244 device_printf(sc->cpu_dev, "unable to execute _PDC - %s\n", in acpi_set_pdc()
270 device_printf(sc->cpu_dev, "missing _CST object\n"); in acpi_fetch_cx()
277 device_printf(sc->cpu_dev, "invalid _CST package\n"); in acpi_fetch_cx()
282 device_printf(sc->cpu_dev, in acpi_fetch_cx()
304 device_printf(sc->cpu_dev, in acpi_fetch_cx()
321 device_printf(sc->cpu_dev, "no valid _CST package found\n"); in acpi_fetch_cx()
346 device_printf(sc->cpu_dev, "missing _PSS object\n"); in acpi_fetch_px()
352 device_printf(sc->cpu_dev, "invalid top level _PSS package\n"); in acpi_fetch_px()
371 device_printf(sc->cpu_dev, in acpi_fetch_px()
384 device_printf(sc->cpu_dev, "no valid _PSS package found\n"); in acpi_fetch_px()
394 device_printf(sc->cpu_dev, "missing _PCT object\n"); in acpi_fetch_px()
401 device_printf(sc->cpu_dev, "invalid top level _PCT package\n"); in acpi_fetch_px()
407 device_printf(sc->cpu_dev, in acpi_fetch_px()
413 device_printf(sc->cpu_dev, in acpi_fetch_px()
424 device_printf(sc->cpu_dev, "missing _PSD object\n"); in acpi_fetch_px()
430 device_printf(sc->cpu_dev, "invalid top level _PSD package\n"); in acpi_fetch_px()
539 sc->cpu_dev = dev; in xen_acpi_cpu_attach()