diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2017-01-23 16:40:03 +0100 |
|---|---|---|
| committer | Andrey Konovalov <andreyknvl@google.com> | 2017-01-23 18:13:11 +0100 |
| commit | 07880f3c010a2a5d4078b8668e05a4894fd82046 (patch) | |
| tree | 6eb2d4bd3090f730f9b91fddd38e2726f1a31034 /csource | |
| parent | 1cf6a05e0ec1e456aabee97496594c4de70945d1 (diff) | |
csource: use 0x%x format for printing bitfield addr and arg
Diffstat (limited to 'csource')
| -rw-r--r-- | csource/csource.go | 2 |
1 files changed, 1 insertions, 1 deletions
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()) |