os_mask            73 kern/exec_elf.c 	int os_mask;
os_mask           217 kern/exec_elf.c 		if ((1 << ehdr->e_ident[OI_OS]) & ELFNAME(probes)[i].os_mask)
os_mask           618 kern/exec_elf.c 		if (os == OOS_NULL || ((1 << os) & ELFNAME(probes)[i].os_mask))