1 /*
2  * Copyright (c) 2019, NVIDIA Corporation. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <errno.h>
8 #include <plat/common/platform.h>
9 
10 /*
11  * Return an IO device handle and specification which can be used to access
12  * an image. Use this to enforce platform load policy.
13  *
14  * This function is not supported at this time
15  */
plat_get_image_source(unsigned int image_id,uintptr_t * dev_handle,uintptr_t * image_spec)16 int plat_get_image_source(unsigned int image_id, uintptr_t *dev_handle,
17 			  uintptr_t *image_spec)
18 {
19 	return -ENOTSUP;
20 }
21