|
@@ -1709,7 +1709,8 @@ static int __init initialize_ptr_random(void)
|
|
|
early_initcall(initialize_ptr_random);
|
|
|
|
|
|
/* 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, const void *ptr,
|
|
|
+ struct printf_spec spec)
|
|
|
{
|
|
|
const char *str = sizeof(ptr) == 8 ? "(____ptrval____)" : "(ptrval)";
|
|
|
unsigned long hashval;
|