atomic_swap_64
atomic_op_alias(atomic_swap_64,_atomic_swap_64)
atomic_swap_64(ptep, pte);
atomic_swap_64(ptep, pte);
atomic_swap_64(ptep, pte);
atomic_swap_64(ptep, pte);
opte = atomic_swap_64(ptep_in_parent, 0);
atomic_swap_64(&l0[idx], pdppa | L0_TABLE);
atomic_swap_64(&l1[idx], pdppa | L1_TABLE);
atomic_swap_64(&l2[idx], pdppa | L2_TABLE);
atomic_swap_64((ptep), (pte) | LX_BLKPAG_AF); \
opte = atomic_swap_64(ptep, 0);
atomic_swap_64(ptep, pte);
atomic_swap_64(ptep, pte);
atomic_swap_64(ptep, pte);
pte = atomic_swap_64(ptep, 0);
opte = atomic_swap_64(pv->pv_ptep, 0);
atomic_swap_64(ptep, pte);
atomic_swap_64(ptep, pte);
opte = atomic_swap_64(ptep_in_parent, 0);
atomic_swap_64(ptep, pte | LX_BLKPAG_AF);
atomic_swap_64(ptep, pte);
atomic_swap_64(ptep, npte);
atomic_swap_64(ptep, npte);
atomic_swap_64(ptep, opte | LX_BLKPAG_AF);
atomic_swap_64(ptep, opte);
atomic_swap_64(&l0[idx], pa | L0_TABLE);
atomic_swap_64(&l1[idx], pa | L1_TABLE);
atomic_swap_64(&l2[idx], pa | L2_BLOCK |
atomic_swap_64(&l2[idx], pa | L2_TABLE);
atomic_swap_64(&l3[idx], pa | L3_PAGE | LX_BLKPAG_UXN |
atomic_swap_64((volatile uint64_t *)p, n)
(void)atomic_swap_64(&tsc_sync_val, tsc);
atomic_swap_64(offset, value);
(void)atomic_swap_64(p, v);
atf_swap(atomic_swap_64, uint64_t, "0x%" PRIx64);
ATF_TP_ADD_TC(tp, atomic_swap_64);