DPCPU_PTR
ks = DPCPU_PTR(kinst_state);
ks = DPCPU_PTR(kinst_state);
ks = DPCPU_PTR(kinst_state);
ks = DPCPU_PTR(kinst_state);
pc = DPCPU_PTR(xen_intr_pcpu);
struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu);
struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu);
struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu);
t = DPCPU_PTR(pcputicks);
GROUPTASK_ENQUEUE(DPCPU_PTR(epoch_cb_task));
state = DPCPU_PTR(timerstate);
state = DPCPU_PTR(timerstate);
hct = DPCPU_PTR(hardclocktime);
state = DPCPU_PTR(timerstate);
state = DPCPU_PTR(timerstate);
state = DPCPU_PTR(timerstate);
ET_HW_LOCK(DPCPU_PTR(timerstate));
ET_HW_UNLOCK(DPCPU_PTR(timerstate));
state = DPCPU_PTR(timerstate);
state = DPCPU_PTR(timerstate);
state = DPCPU_PTR(timerstate);
(uintptr_t *)DPCPU_PTR(exec_args_kva));
if (!atomic_cmpset_ptr((uintptr_t *)DPCPU_PTR(exec_args_kva),
base = DPCPU_PTR(tc_cpu_ticks_base);
last = DPCPU_PTR(tc_cpu_ticks_last);
stat = DPCPU_PTR(idlestat);
stat = DPCPU_PTR(idlestat);
PCPU_SET(sched, DPCPU_PTR(tdq));
PCPU_SET(sched, DPCPU_PTR(tdq));
rndptr = DPCPU_PTR(randomval);
*DPCPU_PTR(epoch_cb_count) += 1;
*DPCPU_PTR(epoch_cb_count) -= total;
#define LP_CPU_SELF (DPCPU_PTR(lp))
r = pcg32u_boundedrand_r(DPCPU_PTR(pcpu_prng32_state), bound);
r = pcg64u_random_r(DPCPU_PTR(pcpu_prng64_state));
r = pcg64u_boundedrand_r(DPCPU_PTR(pcpu_prng64_state), bound);
r = pcg32u_random_r(DPCPU_PTR(pcpu_prng32_state));
vd = DPCPU_PTR(vd);
nwsp = DPCPU_PTR(nws);
nwsp = DPCPU_PTR(nws);
ss = DPCPU_PTR(ss);
ss = DPCPU_PTR(ss);
#define DYNSTATE_PROTECT(v) ck_pr_store_ptr(DPCPU_PTR(dyn_hp), (v))
xive_cpud = DPCPU_PTR(xive_cpu_data);
cpud = DPCPU_PTR(xive_cpu_data);
cpup = DPCPU_PTR(xive_cpu_data);
struct decr_state *s = DPCPU_PTR(decr_state);
struct decr_state *s = DPCPU_PTR(decr_state);
struct decr_state *s = DPCPU_PTR(decr_state);
#define DPCPU_GET(n) (*DPCPU_PTR(n))
#define DPCPU_SET(n, v) (*DPCPU_PTR(n) = v)
__typeof(*DPCPU_PTR(n)) sum; \
__typeof((DPCPU_PTR(n))->var) sum; \
bzero(DPCPU_ID_PTR(_i, n), sizeof(*DPCPU_PTR(n))); \
bq = DPCPU_PTR(pqbatch[domain][queue]);
bq = DPCPU_PTR(pqbatch[domain][queue]);
DPCPU_PTR(pqbatch[domain][queue]), queue);
vcpu_info_t *vcpu_info = DPCPU_PTR(vcpu_local_info);