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();