#include <linux/device.h>
#include <linux/init.h>
+#include <linux/memory.h>
-extern int devices_init(void);
-extern int buses_init(void);
-extern int classes_init(void);
-extern int firmware_init(void);
-extern int platform_bus_init(void);
-extern int system_bus_init(void);
-extern int cpu_dev_init(void);
+#include "base.h"
/**
* driver_init - initialize driver model.
buses_init();
classes_init();
firmware_init();
+ hypervisor_init();
/* These are also core pieces, but must come after the
* core core pieces.
platform_bus_init();
system_bus_init();
cpu_dev_init();
+ memory_dev_init();
+ attribute_container_init();
}