srm_paging_stop   160 arch/alpha/kernel/process.c 		srm_paging_stop();
srm_paging_stop   190 arch/alpha/kernel/proto.h extern void srm_paging_stop(void);