Symbol: xpc_setup_rsvd_page
drivers/misc/sgi-xp/xpc.h
633
extern int xpc_setup_rsvd_page(void);
drivers/misc/sgi-xp/xpc_main.c
1211
ret = xpc_setup_rsvd_page();