# Pastebin cZ6yjwli
0000000080000458 <riscv_platform_irq>:
    80000458:   1141                    addi    sp,sp,-16
    8000045a:   e406                    sd      ra,8(sp)
    8000045c:   e022                    sd      s0,0(sp)
    8000045e:   f14027f3                csrr    a5,mhartid
    80000462:   0c200737                lui     a4,0xc200
    80000466:   00d7979b                slliw   a5,a5,0xd
    8000046a:   2711                    addiw   a4,a4,4
    8000046c:   9fb9                    addw    a5,a5,a4
    8000046e:   1782                    slli    a5,a5,0x20
    80000470:   9381                    srli    a5,a5,0x20
    80000472:   4380                    lw      s0,0(a5)
    80000474:   2401                    sext.w  s0,s0
    80000476:   cc21                    beqz    s0,800004ce <riscv_platform_irq+0x76>
    80000478:   8792                    mv      a5,tp
    8000047a:   0087e683                lwu     a3,8(a5)
    8000047e:   02041793                slli    a5,s0,0x20
    80000482:   9381                    srli    a5,a5,0x20
    80000484:   00269713                slli    a4,a3,0x2
    80000488:   9736                    add     a4,a4,a3
    8000048a:   0712                    slli    a4,a4,0x4
    8000048c:   0004b697                auipc   a3,0x4b
    80000490:   74468693                addi    a3,a3,1860 # 8004bbd0 <thread_stats>
    80000494:   9736                    add     a4,a4,a3
    80000496:   7b10                    ld      a2,48(a4)
    80000498:   00018693                mv      a3,gp
    8000049c:   0792                    slli    a5,a5,0x4
    8000049e:   97b6                    add     a5,a5,a3
    800004a0:   638c                    ld      a1,0(a5)
    800004a2:   00160693                addi    a3,a2,1
    800004a6:   fb14                    sd      a3,48(a4)
    800004a8:   c985                    beqz    a1,800004d8 <riscv_platform_irq+0x80>
    800004aa:   6788                    ld      a0,8(a5)
    800004ac:   9582                    jalr    a1
    800004ae:   2501                    sext.w  a0,a0
    800004b0:   f14027f3                csrr    a5,mhartid