ptrauth_strip_kernel_insn_pac
(void *)(ptrauth_strip_kernel_insn_pac((unsigned long)__builtin_return_address(val)))
printk("lr : %pS\n", (void *)ptrauth_strip_kernel_insn_pac(lr));
state->common.pc = ptrauth_strip_kernel_insn_pac(state->common.pc);