Searched refs:unmanaged (Results 1 – 4 of 4) sorted by relevance
89 int unmanaged; /* not a managed page */ member853 enter_stats.unmanaged++;
86 int unmanaged; /* not a managed page */ member973 enter_stats.unmanaged++;
106 int unmanaged; /* not a managed page */ member1148 enter_stats.unmanaged++;
104 int unmanaged; /* not a managed page */ member1170 enter_stats.unmanaged++;