43 lines
1.2 KiB
C

// SPDX-License-Identifier: MIT
#include <time.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <endian.h>
#include "platforms/platforms.h"
#include "gpio/ps_protocol.h"
void dump_range_to_file(uint32_t addr, uint32_t size, char *filename) {
FILE *out = fopen(filename, "wb+");
if (out == NULL) {
printf ("[SHARED-DUMP_RANGE_TO_FILE] Failed to open %s for writing.\n", filename);
printf ("[SHARED-DUMP_RANGE_TO_FILE] Memory range has not been dumped to file.\n");
return;
}
for (uint32_t i = 0; i < size; i += 2) {
uint16_t in = be16toh(read16(addr + i));
fwrite(&in, 2, 1, out);
}
fclose(out);
printf ("[SHARED-DUMP_RANGE_TO_FILE] Memory range dumped to file %s.\n", filename);
}
uint8_t *dump_range_to_memory(uint32_t addr, uint32_t size) {
uint8_t *mem = calloc(size, 1);
if (mem == NULL) {
printf ("[SHARED-DUMP_RANGE_TO_MEMORY] Failed to allocate memory for dumped range.\n");
return NULL;
}
for (uint32_t i = 0; i < size; i += 2) {
*(uint16_t *)&mem[i] = (uint16_t)be16toh(read16(addr + i));
}
printf ("[SHARED-DUMP_RANGE_TO_FILE] Memory range copied to RAM.\n");
return mem;
}