As far as I took a look at the lockdep, your suggestion is correct.
post_kprobe_handler should not set a lockdep annotation, because
processor's IF is not changed yet in that time.
Hitachi Computer Products (America) Inc.
Software Solutions Division