fdrestart
dowrite(struct fdrestart *F)
struct fdrestart *F = cookie;
testfdrestart(struct fdrestart *F)
struct fdrestart fdrestart, *F = &fdrestart;
struct fdrestart fdrestart, *F = &fdrestart;
struct fdrestart fdrestart, *F = &fdrestart;
struct fdrestart fdrestart, *F = &fdrestart;
void (*op)(struct fdrestart *);
waitforbarrier(struct fdrestart *F, const char *caller)
doread(struct fdrestart *F)