atomic_load_acq_ptr
map = (volatile char *)atomic_load_acq_ptr(
map = (volatile char *)atomic_load_acq_ptr(
ldt = (void *)atomic_load_acq_ptr((uintptr_t *)&orig->p_md.md_ldt);
atomic_load_acq_ptr((uintptr_t *)&vm->vcpu[vcpuid]);
atomic_load_acq_ptr((uintptr_t *)&vm->vcpu[vcpuid]);
p = atomic_load_acq_ptr((uintptr_t *)&sc->sc_dp[cpu].dp_ph);
p = atomic_load_acq_ptr((uintptr_t *)&sc->sc_dp[cpu].dp_ph);
rng = (void *)atomic_load_acq_ptr((uintptr_t *)pcpu_brng_p);
while (atomic_load_acq_ptr(&m->mtx_lock) != MTX_UNOWNED) {
v = atomic_load_acq_ptr(&m->mtx_lock);
return ((struct rl_q_entry *)atomic_load_acq_ptr((uintptr_t *)p));
atomic_load_acq_ptr((void *)pcpu->pc_curthread);
if (atomic_load_acq_ptr((uintptr_t *)&sfp->sf_si) != (uintptr_t)NULL) {
atomic_load_acq_ptr((uintptr_t *)&vm->vcpu[vcpuid]);
((__typeof(*p)) atomic_load_acq_ptr((const volatile uintptr_t *)p))
((__typeof(*x))atomic_load_acq_ptr((const volatile uintptr_t *)(x)))
(__typeof((p)->__ptr))atomic_load_acq_ptr( \
atomic_load_acq_ptr((uintptr_t *)&head->tlb_flush_next);
hp = (struct nmi_handler *)atomic_load_acq_ptr(
hp = (struct nmi_handler *)atomic_load_acq_ptr(
hp = (struct nmi_handler *)atomic_load_acq_ptr(
hp = (struct nmi_handler *)atomic_load_acq_ptr(
hp = (struct nmi_handler *)atomic_load_acq_ptr(
hp = (struct nmi_handler *)atomic_load_acq_ptr(
while (atomic_load_acq_ptr((void *)&stack_intr_td) ==
cur = (void *)atomic_load_acq_ptr(&smrs_current);