On Wed, Sep 29, 2021 at 09:17:02PM +0800, Guo Zhi wrote: > Pointers should be printed with %p rather than %px > which printed kernel pointer directly. > Change %px to %p to print the secured pointer. Huh? What makes it a kernel pointer? It's a userland address...