Home | History | Annotate | Download | only in priv

Lines Matching defs:writes

683          Bool     writes = False;
687 writes = True;
689 if (writes) {
901 writes the IP (or, whatever it claims to write. We don't
918 Since the exit only writes one section, it's simplest to
4212 the given starting point to find, if any, a PutI which writes
4214 that the PutI writes. This is the core of PutI-GetI forwarding. */
4256 /* If this assertion fails, we've found a Put which writes
4260 /* This Put potentially writes guest state that the GetI
4283 /* We don't know if this PutI writes to the same guest
4297 are any guest writes/modifies. */
4311 that it writes exactly the same piece of guest state) ? Safe
5871 /* be True if this stmt writes memory or might do (==> we don't