21 lines
480 B
C
21 lines
480 B
C
|
/*
|
||
|
|
* 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;
|
||
|
|
}
|