writex
bool writex;
writex = (*maxprotp & VM_PROT_WRITE) != 0 &&
if (writex) {
writex(fd[1], buf, int_arg);
writex(fd[0], buf, int_arg);
writex(fd, buf, int_arg);
writex(fd[0], buf, int_arg);
static void writex(int, const void *, size_t);
writex(fdo, &btxle, sizeof(btxle));
writex(fd, &ex, sizeof(ex));
writex(fd, &eh, sizeof(eh));
writex(fdo, buf, n);