need_workaround   145 arch/ia64/kernel/patch.c 	int need_workaround;
need_workaround   149 arch/ia64/kernel/patch.c 	need_workaround = (local_cpu_data->family == 0x1f && local_cpu_data->model == 0);
need_workaround   153 arch/ia64/kernel/patch.c 		if (need_workaround)
need_workaround   156 arch/ia64/kernel/patch.c 	if (need_workaround)