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

#ifndef __CPU_TI_AM335X_DMTIMER_H__
#define __CPU_TI_AM335X_DMTIMER_H__

#include <stdint.h>

#define OSC_HZ 24000000

void dmtimer_start(int num);
uint64_t dmtimer_raw_value(int num);

#endif