Lines Matching defs:ipimask
141 valid_ipimask(uint32_t ipimask)
147 if (ipimask & ~masks) {
156 xen_send_ipi(struct cpu_info *ci, uint32_t ipimask)
168 KASSERTMSG(valid_ipimask(ipimask) == true,
169 "xen_send_ipi() called with invalid ipimask\n");
171 atomic_or_32(&ci->ci_ipis, ipimask);
178 xen_broadcast_ipi(uint32_t ipimask)
183 KASSERTMSG(valid_ipimask(ipimask) == true,
184 "xen_broadcast_ipi() called with invalid ipimask\n");
201 if (0 != xen_send_ipi(ci, ipimask)) {
203 ipimask, cpu_name(curcpu()),