Symbol: pdcache_wbinv
sys/arch/cobalt/stand/boot/boot.h
94
void pdcache_wbinv(uint32_t, u_int);
sys/arch/cobalt/stand/boot/tlp.c
59
#define wbinv(adr, siz) pdcache_wbinv((uint32_t)(adr), (u_int)(siz))