ref: 1aa8352b43390f548da154b82b0b50e295d9c03f dir: /sys/src/9/riscv64/sysreg.h/
#define SATP 0x180 #define TIME 0xc01