Hi,

Doing:
echo "file ec.c +p" >/sys/kernel/debug/dynamic_debug/control

I got x
RIP: 0010:[<ffffffff81251267>]  [<ffffffff81251267>] 
ddebug_change+0x87/0x240

More output is in the attachment.

Thanks for any hints,

      Thomas