flounder: sending the right bind/bind-reply message types
authorReto Achermann <reto.achermann@inf.ethz.ch>
Mon, 24 Jul 2017 08:20:52 +0000 (10:20 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Mon, 24 Jul 2017 08:20:52 +0000 (10:20 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

tools/flounder/UMPCommon.hs

index 08f7def..889e576 100644 (file)
@@ -901,7 +901,7 @@ tx_bind_msg p ifn =
           [C.Return (C.Variable "FLOUNDER_ERR_TX_BUSY")] [],
       C.SBlank,
       C.Ex $ C.Call "flounder_stub_ump_control_fill"
-                  [chanst, ctrladdr, C.Variable $ msg_enum_elem_name ifn "__bind"],
+                  [chanst, ctrladdr, C.Variable $ "FL_UMP_BIND" ], 
 --      C.StmtList
 --          [C.Ex $ C.Assignment (msgword n) (fragment_word_to_expr (ump_arch p) ifn "___bind" (words !! n))
 --           | n <- [0 .. length(words) - 1], words !! n  /= []],
@@ -941,7 +941,7 @@ tx_bind_reply p ifn =
       C.If (C.Unary C.Not msgvar)
           [C.Return (C.Variable "FLOUNDER_ERR_TX_BUSY")] [],
       C.Ex $ C.Call "flounder_stub_ump_control_fill"
-                  [chanst, ctrladdr, C.Variable $ msg_enum_elem_name ifn "__bind_reply"],
+                  [chanst, ctrladdr, C.Variable $ "FL_UMP_BIND_REPLY" ], 
 --      C.StmtList
 --          [C.Ex $ C.Assignment (msgword n) (fragment_word_to_expr (ump_arch p) ifn "___bind" (words !! n))
 --           | n <- [0 .. length(words) - 1], words !! n  /= []],