| /* | |
| * Copyright (c) 2019, NVIDIA Corporation. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #include <errno.h> | |
| #include <plat/common/platform.h> | |
| /* | |
| * Return an IO device handle and specification which can be used to access | |
| * an image. Use this to enforce platform load policy. | |
| * | |
| * This function is not supported at this time | |
| */ | |
| int plat_get_image_source(unsigned int image_id, uintptr_t *dev_handle, | |
| uintptr_t *image_spec) | |
| { | |
| return -ENOTSUP; | |
| } |