diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-13 12:37:43 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-13 12:52:09 +0100 |
| commit | 1768ee71e60b25df36ca190b63f286c63613f686 (patch) | |
| tree | 326e07b5fb1f42054f3503cc5b92cf84124f042b /executor/executor.h | |
| parent | e9aebc06831be15f24a2da97e99b8c9bcb6a6c1a (diff) | |
executor: tidy up debug output
1. Don't print copyin (there are too many of them).
2. Print copyout value (it's usually important).
Diffstat (limited to 'executor/executor.h')
| -rw-r--r-- | executor/executor.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/executor/executor.h b/executor/executor.h index 2c8b36b8d..570058ae7 100644 --- a/executor/executor.h +++ b/executor/executor.h @@ -310,7 +310,6 @@ retry: if (call_num == instr_copyin) { char* addr = (char*)read_input(&input_pos); uint64 typ = read_input(&input_pos); - debug("copyin to %p\n", addr); switch (typ) { case arg_const: { uint64 size, bf_off, bf_len; @@ -505,7 +504,7 @@ void handle_completion(thread_t* th) fail("result idx %lld overflows kMaxCommands", index); results[index].executed = true; results[index].val = val; - debug("copyout from %p\n", addr); + debug("copyout 0x%llx from %p\n", val, addr); break; } default: |