#include <stdint.h>
#include "bus.h"
void
bus_read(void)
{
}
bus_write(void)
bus_reset(void)
struct bus mainbus = {
"mainbus",
{0x0, UINT32_MAX},
};