Symbol: IPM_TAG_NONE
sys/arch/arm/gemini/gemini_ipm.c
236
KASSERT(desc.tag != IPM_TAG_NONE);
sys/arch/arm/gemini/gemini_ipm.c
81
KASSERT(desc_dst->tag != IPM_TAG_NONE);
sys/arch/arm/gemini/gemini_ipm.c
97
KASSERT(desc_src->tag != IPM_TAG_NONE);