Searched refs:SBI_EXT_NACL (Results 1 – 2 of 2) sorted by relevance
37 SBI_EXT_NACL = 0x4E41434C, enumerator
793 __kvm_riscv_nacl_switch_to(&vcpu->arch, SBI_EXT_NACL, in kvm_riscv_vcpu_enter_exit()