Xen TLB Flush Bypass
Posted by deepcore on July 12, 2022 – 4:26 pm
Xen’s _get_page_type() contains an ABAC cmpxchg() race, where the code incorrectly assumes that if it reads a specific type_info value, and then later cmpxchg() succeeds, the type_info can’t have changed in between.
Post a reply
You must be logged in to post a comment.