IMMU_FLAGS_WRITE
dcookies, dcount, NULL, IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);
IMMU_FLAGS_READ | IMMU_FLAGS_WRITE | IMMU_FLAGS_PAGE1);
if ((immu_flags & IMMU_FLAGS_WRITE) && !PDTE_WRITE(pdte)) {
if (immu_flags & IMMU_FLAGS_WRITE)
if (immu_flags & IMMU_FLAGS_WRITE)
if (immu_flags & IMMU_FLAGS_WRITE)
IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);
if (immu_flags & IMMU_FLAGS_WRITE)
dcookies, dcount, NULL, IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);
IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);
flags |= (IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);
flags |= IMMU_FLAGS_WRITE;
flags |= (IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);
IMMU_FLAGS_READ | IMMU_FLAGS_WRITE | IMMU_FLAGS_PAGE1);
dcount, NULL, IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);
dcookies, dcount, NULL, IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);