Lines Matching defs:osvw_len
83 * Set osvw_len to higher value when updated Revision Guides
86 static uint64_t osvw_len = 4, osvw_status;
411 vcpu->arch.osvw.length = (osvw_len >= 3) ? (osvw_len) : 3;
418 * osvw_len is 0 then osvw_status[0] carries no information. We need to
422 if (osvw_len == 0 && boot_cpu_data.x86 == 0x10)
513 osvw_status = osvw_len = 0;
515 if (len < osvw_len)
516 osvw_len = len;
518 osvw_status &= (1ULL << osvw_len) - 1;
521 osvw_status = osvw_len = 0;