Searched refs:osvw_len (Results 1 – 1 of 1) sorted by relevance
81 static uint64_t osvw_len = 4, osvw_status; variable426 vcpu->arch.osvw.length = (osvw_len >= 3) ? (osvw_len) : 3; in svm_init_osvw()437 if (osvw_len == 0 && boot_cpu_data.x86 == 0x10) in svm_init_osvw()464 if (!osvw_len) in svm_init_os_visible_workarounds()472 if (status == READ_ONCE(osvw_status) && len >= READ_ONCE(osvw_len)) in svm_init_os_visible_workarounds()477 if (len < osvw_len) in svm_init_os_visible_workarounds()478 osvw_len = len; in svm_init_os_visible_workarounds()480 osvw_status &= (1ULL << osvw_len) - 1; in svm_init_os_visible_workarounds()