ATF：Gicv源码文件系列-gicv2_main.c

/*

• Copyright © 2015-2020, ARM Limited and Contributors. All rights reserved.
• SPDX-License-Identifier: BSD-3-Clause
  */

#include <assert.h>
#include <stdbool.h>

#include <arch.h>
#include <arch_helpers.h>
#include <common/debug.h>
#include <common/interrupt_props.h>
#include <drivers/arm/gic_common.h>
#include <drivers/arm/gicv2.h>
#include <lib/spinlock.h>

#include “…/common/gic_common_private.h”
#include “gicv2_private.h”

static const gicv2_driver_data_t *driver_data;

/*

• Spinlock to guard registers needing read-modify-write. APIs protected by this
• spinlock are used either at boot time