Symbol: ppmapout
usr/src/uts/i86pc/os/ppage.c
63
ppmapout(caddr_t va)
usr/src/uts/sun4u/os/ppage.c
222
ppmapout(caddr_t va)
usr/src/uts/sun4v/os/ppage.c
188
ppmapout(caddr_t va)