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