last_cookie = ~0UL; 
last_cookie = INVALID_COOKIE; 
static void add_cpu_switch(int i){	add_event_entry(ESCAPE_CODE);	add_event_entry(CPU_SWITCH_CODE);	add_event_entry(i);	last_cookie = ~0UL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0c0a400d1debb172c596b24ab82efab4975990a9/buffer_sync.c/buggy/drivers/oprofile/buffer_sync.c