|
@@ -1681,12 +1681,13 @@ early_initcall(initialize_ptr_random);
|
|
/* Maps a pointer to a 32 bit unique identifier. */
|
|
/* Maps a pointer to a 32 bit unique identifier. */
|
|
static char *ptr_to_id(char *buf, char *end, void *ptr, struct printf_spec spec)
|
|
static char *ptr_to_id(char *buf, char *end, void *ptr, struct printf_spec spec)
|
|
{
|
|
{
|
|
|
|
+ const char *str = sizeof(ptr) == 8 ? "(____ptrval____)" : "(ptrval)";
|
|
unsigned long hashval;
|
|
unsigned long hashval;
|
|
|
|
|
|
if (unlikely(!have_filled_random_ptr_key)) {
|
|
if (unlikely(!have_filled_random_ptr_key)) {
|
|
spec.field_width = 2 * sizeof(ptr);
|
|
spec.field_width = 2 * sizeof(ptr);
|
|
/* string length must be less than default_width */
|
|
/* string length must be less than default_width */
|
|
- return string(buf, end, "(ptrval)", spec);
|
|
|
|
|
|
+ return string(buf, end, str, spec);
|
|
}
|
|
}
|
|
|
|
|
|
#ifdef CONFIG_64BIT
|
|
#ifdef CONFIG_64BIT
|