marvel_process_logout_frame 1071 arch/alpha/kernel/err_marvel.c 		process_frame = marvel_process_logout_frame;
marvel_process_logout_frame 1076 arch/alpha/kernel/err_marvel.c 		process_frame = marvel_process_logout_frame;