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