> + > +#ifdef VERIFIED_EXEC > + if (!error && !(flags & PGO_SYNCIO)) > + error = veriexec_block_verify(vp, > + (const struct vm_page **) pps, > + offset, *npagesp); > +#endif /* VERIFIED_EXEC */ > + > return error; > } - why "!(flags & PGO_SYNCIO)" ? - who clean up pages on error? YAMAMOTO Takashi