图1和图2中,似乎sync_el0_64和irq_el1h的位置似乎写反了?
非常感谢提出问题,首先,这里代码的顺序对正确性毫无影响;此外,目前两者顺序“相反”的主要原因是在lab4中对irq_el1h和irq_el0_64的处理方式近似,因此lab4中将两者放到了一起以方便阅读,为了保持代码的一致性,lab3也采用了“写反了”的位置。
后续我们会再对这一顺序进行斟酌,谢谢!