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