xref: /optee_os/core/kernel/dt_driver.c (revision 8c0c44c9d2f768a95beacd4605776cfe29c9bff6)
1*8c0c44c9SEtienne Carriere // SPDX-License-Identifier: BSD-2-Clause
2*8c0c44c9SEtienne Carriere /*
3*8c0c44c9SEtienne Carriere  * Copyright (c) 2021, Linaro Limited
4*8c0c44c9SEtienne Carriere  * Copyright (c) 2021, Bootlin
5*8c0c44c9SEtienne Carriere  */
6*8c0c44c9SEtienne Carriere 
7*8c0c44c9SEtienne Carriere #include <kernel/dt_driver.h>
8*8c0c44c9SEtienne Carriere #include <sys/queue.h>
9*8c0c44c9SEtienne Carriere 
10*8c0c44c9SEtienne Carriere struct dt_driver_prov_list dt_driver_provider_list =
11*8c0c44c9SEtienne Carriere 	SLIST_HEAD_INITIALIZER(dt_driver_provider_list);
12