1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#include <stdint.h>
8/* Memory map for MCT */
9typedef struct mp_priv_timer {
10    uint32_t load;
11    uint32_t count;
12    uint32_t ctrl;
13    uint32_t ints;
14} priv_timer;
15