reproduce:
        git remote add tip https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git
        git fetch tip irq/core
        git checkout tip/irq/core
        b4 shazam https://lore.kernel.org/r/20241020121030.1012572-3-inochiama@gmail.com
        # choose either of the following two methods to reproduce the issue
        # 1. reproduce by kismet
           # install kmax per https://github.com/paulgazz/kmax/blob/master/README.md
           kismet --linux-ksrc=linux --selectees CONFIG_GENERIC_IRQ_IPI_MUX --selectors CONFIG_THEAD_C900_ACLINT_SSWI -a=riscv
        # 2. reproduce by make
           cd linux
           # download the config file from the "config:" link in the report, and save it as .config
           make ARCH=riscv olddefconfig