loops             489 modules/gui_bench.c void __attribute__((naked,noinline)) busyloop_thumb(int loops) {
loops             490 modules/gui_bench.c     (void)loops;