extern inline void proceed_active_area(debug_info_t * id) 
proceed_active_area(debug_info_t * id) 
extern inline void proceed_active_area(debug_info_t * id){	id->active_area++;	id->active_area = id->active_area % id->nr_areas;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/66a464dbc8e0345b6f972b92bf1118e043d7c987/debug.c/clean/arch/s390/kernel/debug.c