501
501
* XXX there really ought to be a memory barrier operation right here, to
502
502
* ensure that any flag variables we might have changed get flushed to
504
504
* require that callers provide their own synchronization for machines
505
505
* with weak memory ordering (see latch.h).