Searched refs:wa_level (Results 1 – 1 of 1) sorted by relevance
494 int wa_level; in kvm_arm_set_fw_reg() local548 wa_level = KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_2_NOT_AVAIL; in kvm_arm_set_fw_reg()552 wa_level = KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_2_NOT_REQUIRED; in kvm_arm_set_fw_reg()562 if (get_kernel_wa_level(reg->id) < wa_level) in kvm_arm_set_fw_reg()
Completed in 49 milliseconds