DPCPU_DEFINE_STATIC
DPCPU_DEFINE_STATIC(struct hypctx *, vcpu);
DPCPU_DEFINE_STATIC(struct kinst_cpu_state, kinst_state);
DPCPU_DEFINE_STATIC(uint8_t *, intr_tramp);
DPCPU_DEFINE_STATIC(struct kinst_cpu_state, kinst_state);
DPCPU_DEFINE_STATIC(struct linux_idr_cache, linux_idr_cache);
DPCPU_DEFINE_STATIC(struct linux_epoch_record, linux_epoch_record[RCU_TYPE_MAX]);
DPCPU_DEFINE_STATIC(struct tasklet_worker, tasklet_worker);
DPCPU_DEFINE_STATIC(uint32_t, nmi_counter);
DPCPU_DEFINE_STATIC(struct fxrng_buffered_rng *, fxrng_brng);
DPCPU_DEFINE_STATIC(struct xen_intr_pcpu_data, xen_intr_pcpu) = {
DPCPU_DEFINE_STATIC(long, pcputicks); /* Per-CPU version of ticks. */
DPCPU_DEFINE_STATIC(struct pcpu_state, timerstate);
DPCPU_DEFINE_STATIC(struct exec_args_kva *, exec_args_kva);
DPCPU_DEFINE_STATIC(uint64_t, tc_cpu_ticks_base);
DPCPU_DEFINE_STATIC(unsigned, tc_cpu_ticks_last);
DPCPU_DEFINE_STATIC(struct callout_cpu, cc_cpu);
DPCPU_DEFINE_STATIC(struct pcpuidlestat, idlestat);
DPCPU_DEFINE_STATIC(struct tdq, tdq);
DPCPU_DEFINE_STATIC(uint32_t, randomval);
DPCPU_DEFINE_STATIC(struct lock_prof_cpu, lp);
DPCPU_DEFINE_STATIC(char, modspace[DPCPU_MODMIN] __aligned(__alignof(void *)));
DPCPU_DEFINE_STATIC(pcg32u_random_t, pcpu_prng32_state);
DPCPU_DEFINE_STATIC(pcg64u_random_t, pcpu_prng64_state);
DPCPU_DEFINE_STATIC(struct vdbatch, vd);
DPCPU_DEFINE_STATIC(struct siftr_stats, ss);
DPCPU_DEFINE_STATIC(void *, dyn_hp);
DPCPU_DEFINE_STATIC(struct xive_cpu, xive_cpu_data);
DPCPU_DEFINE_STATIC(struct decr_state, decr_state);
DPCPU_DEFINE_STATIC(struct hypctx *, vcpu);
DPCPU_DEFINE_STATIC(struct vm_batchqueue, pqbatch[MAXMEMDOM][PQ_COUNT]);
DPCPU_DEFINE_STATIC(u_long *, pintrcnt);
DPCPU_DEFINE_STATIC(vcpu_info_t, vcpu_local_info)