IMMU_FLAGS_READ
dcookies, dcount, NULL, IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);
IMMU_FLAGS_READ | IMMU_FLAGS_WRITE | IMMU_FLAGS_PAGE1);
if ((immu_flags & IMMU_FLAGS_READ) && !PDTE_READ(pdte)) {
if (immu_flags & IMMU_FLAGS_READ)
if (immu_flags & IMMU_FLAGS_READ)
if (immu_flags & IMMU_FLAGS_READ)
IMMU_FLAGS_READ | IMMU_FLAGS_WRITE);
1, rdip, IMMU_FLAGS_READ);
if (immu_flags & IMMU_FLAGS_READ)
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_READ;
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);