| /* | |
| * arch/aarch64/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_AARCH64_GICV3_H | |
| #define __ASM_AARCH64_GICV3_H | |
| #include <asm/cpu.h> | |
| static inline void gic_write_icc_sre(uint32_t val) | |
| { | |
| msr(ICC_SRE_EL3, val); | |
| } | |
| static inline void gic_write_icc_ctlr(uint32_t val) | |
| { | |
| msr(ICC_CTLR_EL3, val); | |
| } | |
| #endif |