atomic_or_64
atomic_op_alias(atomic_or_64,_atomic_or_64)
atomic_or_64((volatile uint64_t *)p, b)
atomic_or_64(&ci->ci_active_ipis, ipi_mask);
atomic_or_64(&ci->ci_request_ipis, ipi_mask);
atomic_or_64(&ci->ci_request_ipis, req);
atomic_or_64(&ci->ci_active_ipis, ipi_mask);
atomic_or_64(&xenevt_ih->ih_cpu->ci_istate, (1ULL << SIR_XENIPL_HIGH));
ATF_TP_ADD_TC(tp, atomic_or_64);
atf_or(atomic_or_64, uint64_t, PRIx64);