diff options
| author | Todd Poynor <toddpoynor@google.com> | 2018-07-26 20:07:37 -0700 |
|---|---|---|
| committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2018-07-27 17:09:18 +0200 |
| commit | 330e5f2425ad6857eb2505b0ca435057c8310c9a (patch) | |
| tree | 540581177028c104547391b4a95cf22cc16506ce /drivers/staging | |
| parent | e8742fc322ab699862cfe585afbce5dbc59aa4f0 (diff) | |
staging: gasket: don't print device addresses as kernel pointers
Print device addresses as unsigned long, not as kernel pointers.
Signed-off-by: Todd Poynor <toddpoynor@google.com>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Diffstat (limited to 'drivers/staging')
| -rw-r--r-- | drivers/staging/gasket/gasket_page_table.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/drivers/staging/gasket/gasket_page_table.c b/drivers/staging/gasket/gasket_page_table.c index 8ea8ea1c5174..32f1c1e10c7e 100644 --- a/drivers/staging/gasket/gasket_page_table.c +++ b/drivers/staging/gasket/gasket_page_table.c @@ -1333,8 +1333,8 @@ static bool gasket_is_extended_dev_addr_bad( /* check if the device address is out of bound */ addr = dev_addr & ~((pg_tbl)->extended_flag); if (addr >> (GASKET_EXTENDED_LVL0_WIDTH + GASKET_EXTENDED_LVL0_SHIFT)) { - dev_err(pg_tbl->device, "device address out of bound, 0x%p\n", - (void *)dev_addr); + dev_err(pg_tbl->device, "device address out of bounds: 0x%lx\n", + dev_addr); return true; } @@ -1351,8 +1351,8 @@ static bool gasket_is_extended_dev_addr_bad( if (gasket_components_to_dev_address( pg_tbl, 0, page_global_idx, page_offset) != dev_addr) { - dev_err(pg_tbl->device, "address is invalid, 0x%p\n", - (void *)dev_addr); + dev_err(pg_tbl->device, "address is invalid: 0x%lx\n", + dev_addr); return true; } |