Symbol: xpc_teardown_rsvd_page
drivers/misc/sgi-xp/xpc.h
634
extern void xpc_teardown_rsvd_page(void);
drivers/misc/sgi-xp/xpc_main.c
1018
xpc_teardown_rsvd_page();
drivers/misc/sgi-xp/xpc_main.c
1264
xpc_teardown_rsvd_page();