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