Symbol: prefetch_page_r
usr/src/uts/common/fs/fsflush.c
170
prefetch_page_r((void *)pp);
usr/src/uts/common/vm/page.h
785
void prefetch_page_r(void *);