CSR_HSTATEEN0H - Linux

Symbol: CSR_HSTATEEN0H

arch/riscv/kvm/vcpu.c

nacl_csr_write(nsh, CSR_HSTATEEN0H, cfg->hstateen0 >> 32);

arch/riscv/kvm/vcpu.c

csr_write(CSR_HSTATEEN0H, cfg->hstateen0 >> 32);