xmon_end_pagination    6 arch/powerpc/xmon/nonstdio.h extern void xmon_end_pagination(void);
xmon_end_pagination 2722 arch/powerpc/xmon/xmon.c 		xmon_end_pagination();
xmon_end_pagination 2730 arch/powerpc/xmon/xmon.c 		xmon_end_pagination();
xmon_end_pagination 2909 arch/powerpc/xmon/xmon.c 	xmon_end_pagination();
xmon_end_pagination 2947 arch/powerpc/xmon/xmon.c 	xmon_end_pagination();