CACHE_PAGETABLES

201

CACHEINFO.c_flags |= CACHE_PAGETABLES; /* Ok to cache PTEs */

1824

sc->cacheinfo.c_flags |= CACHE_PAGETABLES;

1856

CACHEINFO.c_flags |= CACHE_PAGETABLES;

3857

if ((CACHEINFO.c_flags & CACHE_PAGETABLES) != 0 ||

3869

if ((CACHEINFO.c_flags & CACHE_PAGETABLES) == 0) {

4039

cachebit = (CACHEINFO.c_flags & CACHE_PAGETABLES) != 0;

909

int cacheit = (CACHEINFO.c_flags & CACHE_PAGETABLES) != 0;