DF2776: registered id=0xfffff8004f164418 name-field=0xfffff8004f0a33d0
DF2776: real unregister_int done; rec+name freed (stale cookie retained by caller)
DF2776: reclaim probe kmalloc(56)=0xfffff8004f164418 freed-rec=0xfffff8004f164418 reuse=YES
DF2776: calling unregister_int(stale 0xfffff8004f164418) -- kernel will deref the freed cookie at kern_intr.c:425 and :490
warning: unregister_int: int 253 handler for Stopped at      strlen: cmpb    $0,(%rdi)
db>