add_cookie_switch  354 drivers/oprofile/buffer_sync.c 			add_cookie_switch(cookie);
add_cookie_switch  406 drivers/oprofile/buffer_sync.c 		add_cookie_switch(cookie);