SATP_MODE
__SHIFTIN(SATP_MODE_SV39, SATP_MODE) |
__SHIFTIN(SATP_MODE_SV32, SATP_MODE) |
return __SHIFTOUT(csr_satp_read(), SATP_MODE);
const uint8_t mode = __SHIFTOUT(satp, SATP_MODE);