The `varstored` component of the Xapi toolstack, which manages UEFI Variables for virtual machines, contains insufficient compiler barriers. This leads to Time-of-Check to Time-of-Use (TOCTOU) issues—a race condition where data is modified between the time it is checked and the time it is used—within a shared buffer used for communication with OVMF inside the VM. Depending on the compiler settings, an attacker may be able to control an index used in a jump table.