Lines Matching defs:cpu
45 #include <machine/cpu.h>
182 int cpu;
184 cpu = PCPU_GET(cpuid);
185 (*ipi_rendezvous_counts[cpu])++;
196 int cpu;
198 cpu = PCPU_GET(cpuid);
200 xhits_gbl[cpu]++;
203 (*ipi_invltlb_counts[cpu])++;
218 int cpu;
220 cpu = PCPU_GET(cpuid);
222 xhits_gbl[cpu]++;
225 (*ipi_invltlb_counts[cpu])++;
258 int cpu;
260 cpu = PCPU_GET(cpuid);
262 xhits_pg[cpu]++;
265 (*ipi_invlpg_counts[cpu])++;
283 int cpu;
285 cpu = PCPU_GET(cpuid);
287 xhits_pg[cpu]++;
290 (*ipi_invlpg_counts[cpu])++;
334 int cpu;
336 cpu = PCPU_GET(cpuid);
338 xhits_rng[cpu]++;
341 (*ipi_invlrng_counts[cpu])++;
393 int cpu = PCPU_GET(cpuid);
395 cpu = PCPU_GET(cpuid);
396 (*ipi_invlcache_counts[cpu])++;
477 /* XEN diverged cpu operations */
494 xen_cpu_ipi_init(int cpu)
501 ipi_handle = DPCPU_ID_GET(cpu, ipi_handle);
502 dev = pcpu_find(cpu)->pc_device;
512 rc = xen_intr_alloc_and_bind_ipi(dev, cpu, ipi->filter,
767 int cpu, rc;
782 cpu = PCPU_GET(vcpu_id);
786 rc = HYPERVISOR_vcpu_op(VCPUOP_register_vcpu_info, cpu, &info);
788 DPCPU_SET(vcpu_info, &HYPERVISOR_shared_info->vcpu_info[cpu]);