void debug_flush(debug_info_t* id, int area) 
debug_flush(debug_info_t* id, int area) 
void debug_flush(debug_info_t* id, int area){        unsigned long flags;        int i;        if(!id)                return;        spin_lock_irqsave(&id->lock,flags);        if(area == DEBUG_FLUSH_ALL){                id->active_area = 0;                memset(id->active_entry, 0, id->nr_areas * sizeof(int));                for (i = 0; i < id->nr_areas; i++)                         memset(id->areas[i], 0, PAGE_SIZE << id->page_order);                printk(KERN_INFO "debug: %s: all areas flushed\n",id->name);        } else if(area >= 0 && area < id->nr_areas) {                id->active_entry[area] = 0;                memset(id->areas[area], 0, PAGE_SIZE << id->page_order);                printk(KERN_INFO                        "debug: %s: area %i has been flushed\n",                        id->name, area);        } else {                printk(KERN_INFO                        "debug: %s: area %i cannot be flushed (range: %i - %i)\n",                        id->name, area, 0, id->nr_areas-1);        }        spin_unlock_irqrestore(&id->lock,flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/66a464dbc8e0345b6f972b92bf1118e043d7c987/debug.c/clean/arch/s390/kernel/debug.c