#include <stdint.h>
#include "bus.h"

void
bus_read(void)
{
}

void
bus_write(void)
{
}

void
bus_reset(void)
{
}

struct bus mainbus = {
	"mainbus",
	{0x0, UINT32_MAX},
};