git: c122d7ffad5e - main - ithread: Annotate a branch in ithread_execute_handlers()

The branch main has been updated by markj:

URL: https://cgit.FreeBSD.org/src/commit/?id=c122d7ffad5efb31e1aa5035cb1a26ad2e479074

commit c122d7ffad5efb31e1aa5035cb1a26ad2e479074
Author:     Mark Johnston <markj@FreeBSD.org>
AuthorDate: 2024-07-30 14:36:35 +0000
Commit:     Mark Johnston <markj@FreeBSD.org>
CommitDate: 2024-07-30 14:37:26 +0000

    ithread: Annotate a branch in ithread_execute_handlers()
    
    No functional change intended.
    
    Reviewed by:    kib, jhb
    MFC after:      2 weeks
    Differential Revision:  https://reviews.freebsd.org/D45491
---
 sys/kern/kern_intr.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/sys/kern/kern_intr.c b/sys/kern/kern_intr.c
index 6ccf758ae266..a4ec45d0c4f8 100644
--- a/sys/kern/kern_intr.c
+++ b/sys/kern/kern_intr.c
@@ -1203,8 +1203,9 @@ ithread_execute_handlers(struct proc *p, struct intr_event *ie)
 	 * number of back to back interrupts exceeds the storm threshold,
 	 * then enter storming mode.
 	 */
-	if (intr_storm_threshold != 0 && ie->ie_count >= intr_storm_threshold &&
-	    !(ie->ie_flags & IE_SOFT)) {
+	if (__predict_false(intr_storm_threshold != 0 &&
+	    ie->ie_count >= intr_storm_threshold &&
+	    (ie->ie_flags & IE_SOFT) == 0)) {
 		/* Report the message only once every second. */
 		if (ppsratecheck(&ie->ie_warntm, &ie->ie_warncnt, 1)) {
 			printf(