Quoting Daniel Rosenberg (2018-06-06 00:40:41)
The format specifier %p can leak kernel addresses while not valuing the kptr_restrict system settings. Use %pK instead of %p, which also evaluates whether kptr_restrict is set.
This is backwards though. You never care about the actual value here and the hashed pointer (%p) is always enough to provide an identifying token. -Chris