/* SPDX-License-Identifier: GPL-2.0-only */

#include "dmtimer.h"

void dmtimer_start(int num)
{
}

uint64_t dmtimer_raw_value(int num)
{
	return 0;
}