diff options
Diffstat (limited to 'tapset/LKET/pagefault.stp')
| -rwxr-xr-x | tapset/LKET/pagefault.stp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tapset/LKET/pagefault.stp b/tapset/LKET/pagefault.stp index bdef3fcc..0675f4e8 100755 --- a/tapset/LKET/pagefault.stp +++ b/tapset/LKET/pagefault.stp @@ -7,7 +7,7 @@ function log_pagefault_tracedata(var_id:long, var_addr:long, var_rwflag:long) %{ - _lket_trace(_GROUP_PAGEFAULT, THIS->var_id, "%8b%1b", (long)(THIS->var_addr), (THIS->var_rwflag)?1:0); + _lket_trace(_GROUP_PAGEFAULT, THIS->var_id, "%8b%1b", (int64_t)(THIS->var_addr), (_FMT_)((THIS->var_rwflag)?1:0)); %} |