HelenOS sources

min3               68 kernel/arch/arm32/src/arm32.c 	init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS);
min3               63 kernel/arch/arm64/src/arm64.c 	init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS,
min3               87 kernel/arch/ia64/src/ia64.c 	init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS,
min3               87 kernel/arch/mips32/src/mips32.c 	init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS);
min3               84 kernel/arch/ppc32/src/ppc32.c 	init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS);
min3               75 kernel/arch/riscv64/src/riscv64.c 	init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS,
min3               74 kernel/arch/sparc64/src/sun4u/sparc64.c 	init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS);
min3               76 kernel/arch/sparc64/src/sun4v/sparc64.c 	init.cnt = min3(bootinfo->taskmap.cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS);