KERN_SEMINFO_SEMMNI  827 kern/sysv_sem.c 		case KERN_SEMINFO_SEMMNI:
KERN_SEMINFO_SEMMNI  843 kern/sysv_sem.c 	case KERN_SEMINFO_SEMMNI: