#include <stdint.h>
#include <arch/io.h>
#include "cpc925.h"
#include "cpc925_pci.h"

void
cpc925_pci_init(void)
{
}