Searched refs:max_satp_mode (Results 1 – 1 of 1) sorted by relevance
197 unsigned long max_satp_mode; in riscv_vcpu_mmu_setup() local223 max_satp_mode = vcpu_get_reg(vcpu, RISCV_CONFIG_REG(satp_mode)); in riscv_vcpu_mmu_setup()225 if ((satp_mode >> SATP_MODE_SHIFT) > max_satp_mode) in riscv_vcpu_mmu_setup()227 satp_mode >> SATP_MODE_SHIFT, max_satp_mode); in riscv_vcpu_mmu_setup()