Symbol: cb_restore_kpages
usr/src/psm/stand/cpr/sparcv9/sun4u/cprboot.c
502
cb_restore_kpages,
usr/src/psm/stand/cpr/sparcv9/sun4u/cprboot.h
204
extern int cb_restore_kpages(void);