cacheflush.c: use printaddr
* cacheflush.c (sys_cacheflush): Use printaddr.
diff --git a/cacheflush.c b/cacheflush.c
index 1ad3a15..db7283f 100644
--- a/cacheflush.c
+++ b/cacheflush.c
@@ -24,7 +24,8 @@
{
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 @@
{
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 @@
{
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)
{
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;
