sfmmu_page_spl_held
int sfmmu_page_spl_held(struct page *);
extern int sfmmu_page_spl_held(struct page *);
ASSERT(sfmmu_page_spl_held(pp));