tree cacd21f9a114d83b075bba0eb88f7c4bac647688
parent c2ca794f652d7d52cbe88e3ca358833e0f9cd473
author June Tate-Gans <jtgans@google.com> 1691095901 +0000
committer June Tate-Gans <jtgans@google.com> 1691096081 +0000

nexus sim config: Swap PLIC SEIP and MEIP bits

Apparently when we moved the timer's IRQ, we also changed which bits it
manipulated in the MIP register. Swap the two bits and assign the
correct IRQ to smc_timer.

Change-Id: Ic2991273f16c899d9b25e2853ac315544c0fb21f