75,76d74
< /** The request should not cause a page fault. */
< static const FlagsType NO_FAULT = 0x00010000;