pmap_md_pool_vtophys
paddr_t pmap_md_pool_vtophys(vaddr_t);
#define POOL_VTOPHYS(va) pmap_md_pool_vtophys((vaddr_t)va)