xpc_teardown_rsvd_page  634 drivers/misc/sgi-xp/xpc.h extern void xpc_teardown_rsvd_page(void);
xpc_teardown_rsvd_page 1031 drivers/misc/sgi-xp/xpc_main.c 	xpc_teardown_rsvd_page();
xpc_teardown_rsvd_page 1305 drivers/misc/sgi-xp/xpc_main.c 	xpc_teardown_rsvd_page();