// SPDX-License-Identifier: GPL-2.0
#include <linux/compiler.h>
#include "../tests.h"

int dt_work = 1234;

static void function1(void)
{
	dt_work += 7;
	dt_work += 7;
	dt_work += 7;
}

static void function2(void)
{
	dt_work += 7;
	dt_work += 7;
	dt_work += 7;
}

static int deterministic(int argc __maybe_unused,
			 const char **argv __maybe_unused)
{
	dt_work += 7;
	dt_work += 7;
	dt_work += 7;

	function1();

	dt_work += 7;
	dt_work += 7;
	dt_work += 7;

	function2();

	return 0;
}

DEFINE_WORKLOAD(deterministic);