dumpinfo           68 modules/dbg_dump.c     static dumpinfo buf;
dumpinfo           70 modules/dbg_dump.c     dumpinfo *pb = ADR_TO_UNCACHED(&buf);