171,15 → 171,6 |
return v; |
} |
|
/** Write TICK Register. |
* |
* @param v New value of TICK register. |
*/ |
static inline void tick_write(uint64_t v) |
{ |
asm volatile ("wrpr %0, %1, %%tick\n" : : "r" (v), "i" (0)); |
} |
|
/** Read FPRS Register. |
* |
* @return Value of FPRS register. |
323,19 → 314,6 |
return ALIGN_DOWN(unbiased_sp, STACK_SIZE); |
} |
|
/** Read Version Register. |
* |
* @return Value of VER register. |
*/ |
static inline uint64_t ver_read(void) |
{ |
uint64_t v; |
|
asm volatile ("rdpr %%ver, %0\n" : "=r" (v)); |
|
return v; |
} |
|
/** Read Trap Program Counter register. |
* |
* @return Current value in TPC. |