hat_kpm_vaddr2page
struct page *hat_kpm_vaddr2page(caddr_t);
pp = hat_kpm_vaddr2page(baseaddr);
extern page_t *hat_kpm_vaddr2page(caddr_t);