<div dir="ltr">I am seeing an issue in our Linux port where printk() format %pS will print a symbol as:<div>kernel_init+0x120/0x120</div><div>where the offset within the function 0x120, is the same as the function size 0x120; in fact, the largest offset within the function should be 0x11f.<br><div><br></div><div>When printing above symbol+offset in gdb, the correct symbol is displayed as follow:</div><div><br></div><div>(gdb) p (void*)(kernel_init+0x120)<br>$1 = (void *) 0x589a28 <ret_for_syscall><br></div><div><br></div><div>What could be the cause of printk() format %pS printing an incorrect symbol.</div><div><br></div><div>Where can I find in the Linux source code, the function handling the format %pS ?</div><div><br></div><div><br></div><div><br></div><div><br></div></div></div>