cacheflush.c: use printaddr

* cacheflush.c (sys_cacheflush): Use printaddr.
1 file changed