Symbol: __vrip_dump_level2mask
sys/arch/hpcmips/vr/vrip.c
69
#define DUMP_LEVEL2MASK(sc,arg) if (vrip_debug) __vrip_dump_level2mask(sc,arg)
sys/arch/hpcmips/vr/vrip.c
98
void __vrip_dump_level2mask(vrip_chipset_tag_t, void *);