Home | History | Annotate | Download | only in priv

Lines Matching defs:writes

656          Bool     writes = False;
660 writes = True;
662 if (writes) {
847 writes the IP (or, whatever it claims to write. We don't
864 Since the exit only writes one section, it's simplest to
3682 the given starting point to find, if any, a PutI which writes
3684 that the PutI writes. This is the core of PutI-GetI forwarding. */
3726 /* If this assertion fails, we've found a Put which writes
3730 /* This Put potentially writes guest state that the GetI
3753 /* We don't know if this PutI writes to the same guest
3767 are any guest writes/modifies. */
3781 that it writes exactly the same piece of guest state) ? Safe
5103 /* be True if this stmt writes memory or might do (==> we don't