Lines Matching full:invariant
2155 0 or 1 is an invariant of the ppc guest state representation;
2156 if it has any other value, that invariant has been violated. */
2273 0 or 1 is an invariant of the ppc guest state representation;
2274 if it has any other value, that invariant has been violated. */
