Symbol: kvm_riscv_nacl_exit