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