pool_cache_put_paddr
pool_cache_put_paddr(&pmap_l1tt_cache, (void *)pm->pm_l1, pm->pm_l1_pa);
pool_cache_put_paddr(&pmap_l2ptp_cache, (void *)l2, pa);
pool_cache_put_paddr(if_xennetrxbuf_cache,
pool_cache_put_paddr(sc->sc_msgpool, msg, pa);
pool_cache_put_paddr(sc->sc_msgpool, msg, pa);
pool_cache_put_paddr(mcl_cache,
void pool_cache_put_paddr(pool_cache_t, void *, paddr_t);
#define pool_cache_put(pc, o) pool_cache_put_paddr((pc), (o), \