Lines Matching refs:ipimask
153 valid_ipimask(uint32_t ipimask)
159 if (ipimask & ~masks) {
168 xen_send_ipi(struct cpu_info *ci, uint32_t ipimask)
180 KASSERTMSG(valid_ipimask(ipimask) == true,
181 "xen_send_ipi() called with invalid ipimask\n");
183 atomic_or_32(&ci->ci_ipis, ipimask);
190 xen_broadcast_ipi(uint32_t ipimask)
195 KASSERTMSG(valid_ipimask(ipimask) == true,
196 "xen_broadcast_ipi() called with invalid ipimask\n");
213 if (0 != xen_send_ipi(ci, ipimask)) {
215 ipimask, cpu_name(curcpu()),
Indexes created Wed Oct 15 16:09:53 GMT 2025