Lines Matching defs:inkernflag
73 int inkernflag = 1;
300 if (inkernflag) {
346 if (inkernflag) {
375 if (inkernflag) {
401 if (inkernflag) {
696 if (inkernflag) {
728 if (inkernflag) {
763 if (inkernflag) {
796 if (inkernflag)
868 inkernflag = 0;
872 inkernflag = 1;
903 if (kernel == NULL && inkernflag)
Indexes created Sat Oct 11 16:09:52 GMT 2025