| /* | |
| * include/gic.h | |
| * | |
| * Copyright (C) 2024 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 __GIC_H | |
| #define __GIC_H | |
| #include <asm/gic.h> | |
| void gic_secure_init(void); | |
| #endif |