profile_discard_flip_buffers  270 kernel/profile.c static void profile_discard_flip_buffers(void)
profile_discard_flip_buffers  384 kernel/profile.c #define profile_discard_flip_buffers()	do { } while (0)