Symbol: pdcache_wb
sys/arch/cobalt/stand/boot/boot.h
92
void pdcache_wb(uint32_t, u_int);
sys/arch/cobalt/stand/boot/tlp.c
58
#define wb(adr, siz) pdcache_wb((uint32_t)(adr), (u_int)(siz))