machine_is_jornada720  263 arch/arm/mach-sa1100/jornada720.c 	if (machine_is_jornada720()) {
machine_is_jornada720  351 drivers/cpufreq/sa1110-cpufreq.c 		if (machine_is_jornada720() || machine_is_h3600())
machine_is_jornada720  221 drivers/pcmcia/sa1111_generic.c 	if (machine_is_jornada720())