_KERN_DO_ECOFF     38 kern/exec_conf.c #if defined(_KERN_DO_ECOFF)
_KERN_DO_ECOFF     92 kern/exec_conf.c #ifdef _KERN_DO_ECOFF
_KERN_DO_ECOFF     44 kern/exec_ecoff.c #if defined(_KERN_DO_ECOFF)