CVE-2025-58143
Description
A race condition exists in Xen’s viridian implementation during mapping of the reference TSC page. A malicious x86 HVM guest with the reference_tsc viridian extension enabled could exploit this flaw to cause Xen to free a page while it is still present in the guest physical-to-machine (p2m) mappings. Successful exploitation may result in a host denial of service, information disclosure, or potential privilege escalation.
Statement
Red Hat Product Security has determined that this vulnerability does not affect any currently supported Red Hat product. This assessment may evolve based on further analysis and discovery. For more information about this vulnerability and the products it affects, please see the linked references.
Mitigation
Disabling the reference_tsc viridian extension for x86 HVM guests prevents exploitation of this issue.
Understanding the Weakness (CWE)
Integrity,Other
Technical Impact: Alter Execution Logic; Unexpected State
The main problem is that -- if a lock is overcome -- data could be altered in a bad state.
Frequently Asked Questions
Not sure what something means? Check out our Security Glossary.
Want to get errata notifications? Sign up here.
