Lines Matching defs:osvw_len
74 * Set osvw_len to higher value when updated Revision Guides
77 static uint64_t osvw_len = 4, osvw_status;
514 vcpu->arch.osvw.length = (osvw_len >= 3) ? (osvw_len) : 3;
521 * osvw_len is 0 then osvw_status[0] carries no information. We need to
525 if (osvw_len == 0 && boot_cpu_data.x86 == 0x10)
672 osvw_status = osvw_len = 0;
674 if (len < osvw_len)
675 osvw_len = len;
677 osvw_status &= (1ULL << osvw_len) - 1;
680 osvw_status = osvw_len = 0;