change stimecmp to 0x14d

This commit is contained in:
Robert Morris 2024-09-04 15:21:52 -04:00
parent 9b9ab5e130
commit 4060b671d8

View file

@ -179,14 +179,16 @@ static inline uint64
r_stimecmp()
{
uint64 x;
asm volatile("csrr %0, stimecmp" : "=r" (x) );
// asm volatile("csrr %0, stimecmp" : "=r" (x) );
asm volatile("csrr %0, 0x14d" : "=r" (x) );
return x;
}
static inline void
w_stimecmp(uint64 x)
{
asm volatile("csrw stimecmp, %0" : : "r" (x));
// asm volatile("csrw stimecmp, %0" : : "r" (x));
asm volatile("csrw 0x14d, %0" : : "r" (x));
}
// Machine Environment Configuration Register