From bb16ee1f65b3f00cfa6e630c905b9d060f0d7998 Mon Sep 17 00:00:00 2001 From: "Dmitry V. Levin" Date: Mon, 20 Jul 2015 17:57:37 +0000 Subject: [PATCH] cacheflush.c: use printaddr * cacheflush.c (sys_cacheflush): Use printaddr. --- cacheflush.c | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/cacheflush.c b/cacheflush.c index 1ad3a15f..db7283f2 100644 --- a/cacheflush.c +++ b/cacheflush.c @@ -24,7 +24,8 @@ SYS_FUNC(cacheflush) { if (entering(tcp)) { /* addr */ - tprintf("%#lx, ", tcp->u_arg[0]); + printaddr(tcp->u_arg[0]); + tprints(", "); /* scope */ printxval(cacheflush_scope, tcp->u_arg[1], "FLUSH_SCOPE_???"); tprints(", "); @@ -49,9 +50,9 @@ SYS_FUNC(cacheflush) { if (entering(tcp)) { /* start addr */ - tprintf("%#lx, ", tcp->u_arg[0]); + printaddr(tcp->u_arg[0]); /* length */ - tprintf("%ld, ", tcp->u_arg[1]); + tprintf(", %ld, ", tcp->u_arg[1]); /* flags */ printxval(cacheflush_flags, tcp->u_arg[1], "?CACHE"); } @@ -80,9 +81,9 @@ SYS_FUNC(cacheflush) { if (entering(tcp)) { /* addr */ - tprintf("%#lx, ", tcp->u_arg[0]); + printaddr(tcp->u_arg[0]); /* len */ - tprintf("%lu, ", tcp->u_arg[1]); + tprintf(", %lu, ", tcp->u_arg[1]); /* flags */ printflags(cacheflush_flags, tcp->u_arg[2], "CACHEFLUSH_???"); } @@ -94,8 +95,10 @@ SYS_FUNC(cacheflush) SYS_FUNC(cacheflush) { if (entering(tcp)) { - /* addr and len */ - tprintf("%#lx, %lu", tcp->u_arg[0], tcp->u_arg[3]); + /* addr */ + printaddr(tcp->u_arg[0]); + /* len */ + tprintf(", %lu, ", tcp->u_arg[3]); /* scope and flags (cache type) are currently ignored */ } return 0; -- 2.40.0