18 lines
537 B
C
18 lines
537 B
C
|
/* SPDX-License-Identifier: BSD-3-Clause */
|
||
|
|
|
||
|
|
#include <boot_device.h>
|
||
|
|
#include <commonlib/bsd/cb_err.h>
|
||
|
|
#include <stddef.h>
|
||
|
|
#include <string.h>
|
||
|
|
#include <sysinfo.h>
|
||
|
|
|
||
|
|
__attribute__((weak)) ssize_t boot_device_read(void *buf, size_t offset, size_t size)
|
||
|
|
{
|
||
|
|
/* Memory-mapping usually only works for the top 16MB. */
|
||
|
|
if (!lib_sysinfo.boot_media_size || lib_sysinfo.boot_media_size - offset > 16 * MiB)
|
||
|
|
return CB_ERR_ARG;
|
||
|
|
void *ptr = (void *)(uintptr_t)(0 - lib_sysinfo.boot_media_size + offset);
|
||
|
|
memcpy(buf, ptr, size);
|
||
|
|
return size;
|
||
|
|
}
|