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