Searched refs:osvw_status (Results 1 – 1 of 1) sorted by relevance
82 static uint64_t osvw_len = 4, osvw_status; variable432 vcpu->arch.osvw.status = osvw_status & ~(6ULL); in svm_init_osvw()477 if (status == READ_ONCE(osvw_status) && len >= READ_ONCE(osvw_len)) in svm_init_os_visible_workarounds()484 osvw_status |= status; in svm_init_os_visible_workarounds()485 osvw_status &= (1ULL << osvw_len) - 1; in svm_init_os_visible_workarounds()