Searched refs:osvw_status (Results 1 – 1 of 1) sorted by relevance
77 static uint64_t osvw_len = 4, osvw_status; variable 517 vcpu->arch.osvw.status = osvw_status & ~(6ULL); in svm_init_osvw() 523 * osvw_len is 0 then osvw_status[0] carries no information. We need to in svm_init_osvw() 674 osvw_status = osvw_len = 0; in svm_hardware_enable() 678 osvw_status |= status; in svm_hardware_enable() 679 osvw_status &= (1ULL << osvw_len) - 1; in svm_hardware_enable() 682 osvw_status = osvw_len = 0; in svm_hardware_enable()