// EFB - embedded framebuffer reads (peeks) and writes (pokes)
#include "pch.h"

void EFBPeek8(uint32_t ofs, uint32_t *reg)
{
}

void EFBPeek16(uint32_t ofs, uint32_t *reg)
{
}

void EFBPeek32(uint32_t ofs, uint32_t *reg)
{
}

// ---------------------------------------------------------------------------

void EFBPoke8(uint32_t ofs, uint32_t data)
{
}

void EFBPoke16(uint32_t ofs, uint32_t data)
{
}

void EFBPoke32(uint32_t ofs, uint32_t data)
{
}