61f2a71511
This filename conflicts with the 'mbedtls' package. They are renamed in the name of the corresponding chips and included in 'board.h'. Files that rely on this file should include 'board.h' instead.
36 lines
955 B
C
36 lines
955 B
C
/*
|
|
* Copyright (c) 2006-2018, RT-Thread Development Team
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*
|
|
* Change Logs:
|
|
* Date Author Notes
|
|
* 2013-07-20 Bernard first version
|
|
*/
|
|
|
|
#ifndef __GIC_H__
|
|
#define __GIC_H__
|
|
|
|
#include <rthw.h>
|
|
#include <board.h>
|
|
|
|
int arm_gic_dist_init(rt_uint32_t index, rt_uint32_t dist_base, int irq_start);
|
|
int arm_gic_cpu_init(rt_uint32_t index, rt_uint32_t cpu_base);
|
|
|
|
void arm_gic_mask(rt_uint32_t index, int irq);
|
|
void arm_gic_umask(rt_uint32_t index, int irq);
|
|
void arm_gic_set_cpu(rt_uint32_t index, int irq, unsigned int cpumask);
|
|
void arm_gic_set_group(rt_uint32_t index, int vector, int group);
|
|
|
|
int arm_gic_get_active_irq(rt_uint32_t index);
|
|
void arm_gic_ack(rt_uint32_t index, int irq);
|
|
|
|
void arm_gic_clear_active(rt_uint32_t index, int irq);
|
|
void arm_gic_clear_pending(rt_uint32_t index, int irq);
|
|
|
|
void arm_gic_dump_type(rt_uint32_t index);
|
|
void arm_gic_dump(rt_uint32_t index);
|
|
|
|
#endif
|
|
|