Nios II has no sleep/idle/wfi instruction?

My software is event driven, the idle time is spent in a loop polling for new entries in a message queue, which get filled in by my ISRs. With other controllers, this is the perfect place for a sl...