emu_mmio.h

Go to the documentation of this file.

 
#pragma once
 
#include <stdint.h>
#include <unicorn/unicorn.h>
 
#include "ra8_attributes.h"
 
#ifdef __cplusplus
extern "C" {
#endif

typedef enum : uint64_t {
  k_periph_base = 0x40000000UL, 
  k_periph_size = 0x10000000UL, 
} periph_map_t;
 
/* GLCDC observation point. The lcd_color_cycle demo proves a live panel by
 * re-writing BG_BGC (background colour) every frame and pulsing BG_EN.VEN to
 * commit it. The generic model only keeps the last value per address, so the
 * distinct colours cycled are tracked separately as the tool's success witness.
 * GLCDC base 0x40342000 + 0x1014 = BG_BGC (HUM Ch 63). */
typedef enum : uint64_t {
  k_glcdc_bg_bgc  = 0x40343014UL, 
  k_bgc_track_max = 32UL,         
} glcdc_obs_t;

uint64_t mmio_read(uc_engine* uc, uint64_t offset, unsigned size, void* user);

void mmio_write(uc_engine* uc, uint64_t offset, unsigned size, uint64_t value, void* user);

uint32_t mmio_peek(uint64_t addr);

uint32_t emu_mmio_reads(void);

uint32_t emu_mmio_writes(void);

void emu_mmio_print_counts(void);

void emu_mmio_print_bgc_and_table(void);
 
#ifdef __cplusplus
}
#endif