pdcache_inv
void pdcache_inv(uint32_t, u_int);
#define inv(adr, siz) pdcache_inv((uint32_t)(adr), (u_int)(siz))