Symbol: plat_release_page
usr/src/uts/i86pc/os/hold_page.c
75
plat_release_page(page_t *pp)
usr/src/uts/sun4/os/machdep.c
873
plat_release_page(page_t *pp)