profile_flip_buffers  244 kernel/profile.c static void profile_flip_buffers(void)
profile_flip_buffers  390 kernel/profile.c #define profile_flip_buffers()		do { } while (0)