sys/arm64/vmm/vmm_arm64.c

112

DPCPU_SET(vcpu, hypctx);

sys/dev/hwpmc/hwpmc_amd.c

612

DPCPU_SET(nmi_counter, min(2, active));

sys/dev/hwpmc/hwpmc_amd.c

616

DPCPU_SET(nmi_counter, --count);

sys/dev/hwpmc/hwpmc_mod.c

2199

DPCPU_SET(pmc_sampled, 0);

sys/dev/hwpmc/hwpmc_mod.c

4783

DPCPU_SET(pmc_sampled, 1);

sys/dev/hwpmc/hwpmc_mod.c

4924

DPCPU_SET(pmc_sampled, 1);

sys/dev/hwpmc/hwpmc_mod.c

4987

DPCPU_SET(pmc_sampled, 1);

sys/riscv/vmm/vmm_riscv.c

94

DPCPU_SET(vcpu, hypctx);

sys/xen/xen_common.c

85

DPCPU_SET(vcpu_info, vcpu_info);

sys/xen/xen_common.c

89

DPCPU_SET(vcpu_info, &HYPERVISOR_shared_info->vcpu_info[cpu]);