From 07880f3c010a2a5d4078b8668e05a4894fd82046 Mon Sep 17 00:00:00 2001 From: Andrey Konovalov Date: Mon, 23 Jan 2017 16:40:03 +0100 Subject: csource: use 0x%x format for printing bitfield addr and arg --- csource/csource.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'csource') diff --git a/csource/csource.go b/csource/csource.go index 08ccae03a..183c787ab 100644 --- a/csource/csource.go +++ b/csource/csource.go @@ -205,7 +205,7 @@ loop: if bfOff == 0 && bfLen == 0 { fmt.Fprintf(w, "\tNONFAILING(*(uint%v_t*)0x%x = (uint%v_t)0x%x);\n", size*8, addr, size*8, arg) } else { - fmt.Fprintf(w, "\tNONFAILING(STORE_BY_BITMASK(uint%v_t, %v, %v, %v, %v));\n", size*8, addr, arg, bfOff, bfLen) + fmt.Fprintf(w, "\tNONFAILING(STORE_BY_BITMASK(uint%v_t, 0x%x, 0x%x, %v, %v));\n", size*8, addr, arg, bfOff, bfLen) } case prog.ExecArgResult: fmt.Fprintf(w, "\tNONFAILING(*(uint%v_t*)0x%x = %v);\n", size*8, addr, resultRef()) -- cgit mrf-deployment