/*
 * Copyright © 2017-2021 The Crust Firmware Authors.
 * SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0-only
 */

#ifndef PLATFORM_TIME_H
#define PLATFORM_TIME_H

#define CPUCLK_MHz 16
#define CPUCLK_kHz (CPUCLK_MHz * 1000)
#define CPUCLK_Hz  (CPUCLK_MHz * 1000000)

#define REFCLK_MHZ 24
#define REFCLK_KHZ (REFCLK_MHZ * 1000)
#define REFCLK_HZ  (REFCLK_MHZ * 1000000)

#endif /* PLATFORM_TIME_H */
