version 1.2, 2007/10/17 19:54:20 |
version 1.3, 2011/06/18 06:44:27 |
Line 37 __KERNEL_RCSID(0, "$NetBSD$"); |
|
Line 37 __KERNEL_RCSID(0, "$NetBSD$"); |
|
#include <sys/device.h> |
#include <sys/device.h> |
#include <sys/kernel.h> |
#include <sys/kernel.h> |
#include <sys/malloc.h> |
#include <sys/malloc.h> |
|
#include <sys/cpu.h> |
|
#include <sys/bus.h> |
|
#include <sys/intr.h> |
|
|
#include <machine/cpu.h> |
#include <powerpc/ibm4xx/cpu.h> |
#include <machine/bus.h> |
|
#include <machine/intr.h> |
|
|
|
#include <powerpc/ibm4xx/dev/plbvar.h> |
#include <powerpc/ibm4xx/dev/plbvar.h> |
|
|
#include <evbppc/virtex/dev/xcvbusvar.h> |
#include <evbppc/virtex/dev/xcvbusvar.h> |
Line 418 virtex_machdep_init(vaddr_t endva, vsize |
|
Line 418 virtex_machdep_init(vaddr_t endva, vsize |
|
} |
} |
|
|
void |
void |
device_register(struct device *dev, void *aux) |
device_register(device_t dev, void *aux) |
{ |
{ |
/* Nothing to do -- no property hacks needed. */ |
/* Nothing to do -- no property hacks needed. */ |
} |
} |