tree 6f42d01766c24f14dff1b9cc9334d2b74a1346e6
parent 8366944806a17fa97dd9156ac7313f9bc7958e39
author Adam Jesionowski <jesionowski@google.com> 1651885189 +0000
committer Adam Jesionowski <jesionowski@google.com> 1651885189 +0000

Revert "Make smc_plic.numberOfSources match top_matcha.h"

Revert submission 21323-top_matcha_irqs

Reason for revert: Breaks TimerService
Reverted Changes:
I40a840585:Make smc_plic.numberOfSources match top_matcha.h
I026a541a6:Move IRQ numbers to config lib and annotate with c...
I2873a0561:Make camkes IRQ numbers match top_matcha.h
Ida9efaf63:Make PLIC_MAX_NUM_INT match top_matcha.h

Change-Id: Ie5af235571d38525b39f79b7bb8bed1ede1e9887