| /* | |
| * arch/aarch32/include/asm/gic-v3.h | |
| * | |
| * Copyright (C) 2015 ARM Limited. All rights reserved. | |
| * | |
| * Use of this source code is governed by a BSD-style license that can be | |
| * found in the LICENSE.txt file. | |
| */ | |
| #ifndef __ASM_AARCH32_GICV3_H | |
| #define __ASM_AARCH32_GICV3_H | |
| #include <asm/cpu.h> | |
| static inline void gic_write_icc_sre(uint32_t val) | |
| { | |
| mcr(ICC_SRE, val); | |
| } | |
| static inline void gic_write_icc_ctlr(uint32_t val) | |
| { | |
| mcr(ICC_CTLR, val); | |
| } | |
| #endif |