// 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);