x86_atomic_setbits_u64
x86_atomic_setbits_u64(&ci->ci_ipending, 1UL << SIR_XCALL);
#define pmap_pte_setbits(p, b) x86_atomic_setbits_u64(p, b)
#define x86_atomic_setbits_ul x86_atomic_setbits_u64