RISCV_CONFIG_REG
max_satp_mode = vcpu_get_reg(vcpu, RISCV_CONFIG_REG(satp_mode));
.id = RISCV_CONFIG_REG(satp_mode),