rb_thread_polling 1790 file.c rb_thread_polling(); /* busy wait */ rb_thread_polling 258 process.c rb_thread_polling(); rb_thread_polling 265 process.c rb_thread_polling();