PintOS - Avoid busy wait