1 /*
2  * Copyright 2014, General Dynamics C4 Systems
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #pragma once
8 
9 #include <plat/machine/interrupt.h>
10 #include <plat/machine.h>
11 #include <plat_mode/machine/hardware_gen.h>
12 #include <plat_mode/machine/hardware.h>
13 
14 bool_t platAddDevices(void);
15 
16 
17