Symbol: page_destroy_io
usr/src/uts/i86pc/os/ddi_impl.c
1001
extern void page_destroy_io(page_t *);
usr/src/uts/i86pc/os/ddi_impl.c
1002
segkmem_xfree(vmp, ptr, size, &kvp, page_destroy_io);
usr/src/uts/i86pc/vm/vm_machdep.c
2881
page_destroy_io(pp);