x86_atomic_setbits_u32
x86_atomic_setbits_u32(&ci->ci_ipis, ipimask);
#define atomic_setbits_int x86_atomic_setbits_u32