Searched refs:osvw (Results 1 – 3 of 3) sorted by relevance
953 } osvw; member
431 vcpu->arch.osvw.length = (osvw_len >= 3) ? (osvw_len) : 3; in svm_init_osvw()432 vcpu->arch.osvw.status = osvw_status & ~(6ULL); in svm_init_osvw()443 vcpu->arch.osvw.status |= 1; in svm_init_osvw()
676 0x80000001, 0, ecx, 9, osvw , OS visible workaround