/*
 * Copyright(C) 2017, 2016, Imagination Technologies Limited and/or its
 *                 affiliated group companies.
 *
 * This file is subject to the terms and conditions of the GNU Lesser
 * General Public License v2.1. See the file LICENSE in the top level
 * directory for more details.
 *
 */

/**
 * @defgroup    cpu_mips32r2_common Imagination Technologies MIPS32R2 Common
 * @ingroup     cpu
 * @brief       CPU definitions for MIPS32R2 devices.
 * @{
 *
 * @file
 * @brief       CPU definitions for MIPS32R2 devices.
 *
 * @author      Neil Jones <neil.jones@imgtec.com>
 */

#ifndef CPU_H
#define CPU_H

#include <stdint.h>
#include "cpu_conf.h"
#include "irq.h"

#ifdef __cplusplus
extern "C" {
#endif

/**
 * @brief   Print the last instruction's address
 *
 * @todo:   Not supported
 */
static inline void cpu_print_last_instruction(void)
{
    /* This function must exist else RIOT won't compile */
}

/**
 * @brief Initialize the CPU, set IRQ priorities
 */
void cpu_init(void);

#ifdef __cplusplus
}
#endif

#endif /* CPU_H */
/** @} */