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