__profile_flip_buffers  254 kernel/profile.c 	on_each_cpu(__profile_flip_buffers, NULL, 1);
__profile_flip_buffers  277 kernel/profile.c 	on_each_cpu(__profile_flip_buffers, NULL, 1);