/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

#include "dmtimer.h"

void dmtimer_start(int num)
{
}

uint64_t dmtimer_raw_value(int num)
{
	return 0;
}