riscv64,clint: add machine timer interrupt
* fix the cause number, the interrupt bit should set with 0x8000000000000000, instead of 0x80000000
Showing
想要评论请 注册 或 登录
* fix the cause number, the interrupt bit should set with 0x8000000000000000, instead of 0x80000000