K 10 svn:author V 7 attilio K 8 svn:date V 27 2014-05-15T18:02:08.007566Z K 7 svn:log V 104 Use vm_domain_select_next() when needed. For this we need to define the inlined function a bit earlier. END