| Varun Wadekar | 396530b | 2019-03-01 10:18:35 -0800 | [diff] [blame] | 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 | */ |
| 16 | int plat_get_image_source(unsigned int image_id, uintptr_t *dev_handle, |
| 17 | uintptr_t *image_spec) |
| 18 | { |
| 19 | return -ENOTSUP; |
| 20 | } |