/*
 * 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