Symbol: valid_ipimask
sys/arch/xen/x86/xen_ipi.c
180
KASSERTMSG(valid_ipimask(ipimask) == true,
sys/arch/xen/x86/xen_ipi.c
195
KASSERTMSG(valid_ipimask(ipimask) == true,