(-- 
   Arbiter for CP0W1 and CP0W2
   'Arb3.balsa'
--)

import [type]

procedure Arb3(input   CP0W1, CP0W2 : CP0Write;
                       output CP0W : CP0Write)
is
 begin
    loop
      arbitrate CP0W1 then CP0W <- CP0W1
      |         CP0W2 then CP0W <- CP0W2
      end
    end
 end