| /src/sys/arch/x86/x86/ |
| intel_busclock.c | 109 aprint_debug_dev(ci->ci_dev,
120 "value %d", device_xname(ci->ci_dev), bus);
126 aprint_debug_dev(ci->ci_dev,
140 "value %d", device_xname(ci->ci_dev), bus);
148 aprint_debug_dev(ci->ci_dev,
177 device_xname(ci->ci_dev), bus);
206 "value %d ", device_xname(ci->ci_dev), bus);
216 aprint_debug_dev(ci->ci_dev,
236 device_xname(ci->ci_dev), bus);
246 aprint_debug_dev(ci->ci_dev,
[all...] |
| identcpu_subr.c | 146 aprint_verbose_dev(ci->ci_dev,
161 aprint_verbose_dev(ci->ci_dev,
169 aprint_debug_dev(ci->ci_dev,
191 aprint_verbose_dev(ci->ci_dev, "TSC freq CPUID %" PRIu64
|
| cpu.c | 174 .ci_dev = 0,
331 aprint_debug_dev(ci->ci_dev, "%d page colors\n", ncolors);
405 ci->ci_dev = self;
849 aprint_error_dev(ci->ci_dev, "failed to become ready\n");
883 aprint_error_dev(ci->ci_dev, "failed to start\n");
896 aprint_debug_dev(ci->ci_dev, "TSC skew=%lld drift=%lld\n",
1051 aprint_debug_dev(ci->ci_dev, "running\n");
1084 ci->ci_dev == NULL ? "BOOT" : device_xname(ci->ci_dev),
1178 aprint_error_dev(ci->ci_dev, "%s: IPI not taken (1)\n"
[all...] |
| /src/sys/arch/cobalt/cobalt/ |
| cpu.c | 61 ci->ci_dev = self;
|
| /src/sys/arch/arm/mainbus/ |
| cpu_mainbus.c | 84 return cpu_info_store[0].ci_dev == NULL;
94 if (cpu_info_store[0].ci_dev == NULL) {
|
| /src/sys/arch/amigappc/amigappc/ |
| cpu.c | 58 if (amiga_realconfig == 0 || cpu_info[0].ci_dev != NULL)
|
| /src/sys/arch/arc/arc/ |
| cpu.c | 76 ci->ci_dev = self;
|
| /src/sys/arch/evbmips/evbmips/ |
| cpu.c | 66 ci->ci_dev = self;
|
| /src/sys/arch/ews4800mips/ews4800mips/ |
| cpu.c | 68 ci->ci_dev = self;
|
| /src/sys/arch/hpcmips/hpcmips/ |
| cpu.c | 95 ci->ci_dev = self;
|
| /src/sys/arch/ibmnws/ibmnws/ |
| cpu.c | 60 if (cpu_info[0].ci_dev != NULL)
|
| /src/sys/arch/mipsco/mipsco/ |
| cpu.c | 68 ci->ci_dev = self;
|
| /src/sys/arch/mvmeppc/mvmeppc/ |
| cpu.c | 56 if (cpu_info[0].ci_dev != NULL)
|
| /src/sys/arch/newsmips/newsmips/ |
| cpu.c | 68 ci->ci_dev = self;
|
| /src/sys/arch/pmax/pmax/ |
| cpu.c | 68 ci->ci_dev = self;
|
| /src/sys/arch/rs6000/rs6000/ |
| cpu.c | 58 if (cpu_info[0].ci_dev != NULL)
|
| /src/sys/arch/usermode/include/ |
| cpu.h | 53 device_t ci_dev; /* pointer to our device */ member in struct:cpu_info
|
| /src/usr.sbin/cpuctl/arch/ |
| cpuctl_i386.h | 8 const char *ci_dev; member in struct:cpu_info
|
| /src/sys/arch/xen/xen/ |
| xen_clock.c | 328 device_printf(ci->ci_dev, "xen cpu tsc %"PRIu64
356 device_printf(ci->ci_dev, "xen tsc delta in ns went negative:"
531 device_printf(ci->ci_dev,
732 device_xname(ci->ci_dev));
800 device_printf(ci->ci_dev, "xen systime ran backwards"
890 EVCNT_TYPE_INTR, NULL, device_xname(ci->ci_dev),
893 EVCNT_TYPE_INTR, NULL, device_xname(ci->ci_dev),
896 EVCNT_TYPE_INTR, NULL, device_xname(ci->ci_dev),
899 EVCNT_TYPE_INTR, NULL, device_xname(ci->ci_dev),
902 EVCNT_TYPE_INTR, NULL, device_xname(ci->ci_dev),
[all...] |
| /src/sys/arch/mips/mips/ |
| ipifuncs.c | 167 NULL, device_xname(ci->ci_dev), "ipi");
172 NULL, device_xname(ci->ci_dev), ipi_names[i]);
|
| /src/sys/arch/riscv/riscv/ |
| ipifuncs.c | 139 NULL, device_xname(ci->ci_dev), "ipi");
144 NULL, device_xname(ci->ci_dev), ipi_names[i]);
|
| /src/sys/arch/or1k/include/ |
| cpu.h | 52 device_t ci_dev; member in struct:cpu_info
|
| /src/sys/dev/ |
| ccdvar.h | 110 dev_t ci_dev; /* XXX: device's dev_t */ member in struct:ccdcinfo
|
| /src/sys/arch/arm/arm/ |
| arm_cpu_topology.c | 81 dict = device_properties(newci->ci_dev);
|
| /src/sys/arch/xen/x86/ |
| cpu.c | 154 .ci_dev = 0,
161 .ci_dev = 0,
231 ci->ci_dev = self;
355 aprint_debug_dev(ci->ci_dev, "%d page colors\n", ncolors);
394 ci->ci_dev = self;
502 aprint_error_dev(ci->ci_dev, "not started\n");
649 aprint_debug_dev(ci->ci_dev, "starting\n");
664 aprint_error_dev(ci->ci_dev, "failed to become ready\n");
683 aprint_error_dev(ci->ci_dev, "CPU failed to start\n");
749 aprint_debug_dev(ci->ci_dev, "running\n")
[all...] |
