__profile_flip_buffers  251 kernel/profile.c 	on_each_cpu(__profile_flip_buffers, NULL, 1);
__profile_flip_buffers  274 kernel/profile.c 	on_each_cpu(__profile_flip_buffers, NULL, 1);