Symbol: __kvm_riscv_nacl_hfence