atomic_and_64
atomic_op_alias(atomic_and_64,_atomic_and_64)
atomic_and_64((volatile uint64_t *)p, ~(b))
atomic_and_64(&ci->ci_request_ipis, ~__BIT(IPI_WDOG));
atomic_and_64(&ci->ci_request_ipis, ~ipi_mask);
atomic_and_64(&ci->ci_active_ipis, ~ipi_mask);
atomic_and_64(&ci->ci_request_ipis, ~ipi_mask);
atomic_and_64(&ci->ci_active_ipis, ~ipi_mask);
ATF_TP_ADD_TC(tp, atomic_and_64);
atf_and(atomic_and_64, uint64_t, PRIx64);