Symbol: CSR_VSATP
arch/riscv/kvm/vcpu.c
595
nacl_csr_write(nsh, CSR_VSATP, csr->vsatp);
arch/riscv/kvm/vcpu.c
614
csr_write(CSR_VSATP, csr->vsatp);
arch/riscv/kvm/vcpu.c
671
csr->vsatp = nacl_csr_read(nsh, CSR_VSATP);
arch/riscv/kvm/vcpu.c
681
csr->vsatp = csr_read(CSR_VSATP);