32 unsigned int package,
unsigned int core,
#define printk(level,...)
void set_cpu_topology(struct device *cpu, unsigned int node, unsigned int package, unsigned int core, unsigned int thread)
struct device * add_cpu_device(struct bus *cpu_bus, unsigned int apic_id, int enabled)
struct device * alloc_find_dev(struct bus *parent, struct device_path *path)
See if a device structure already exists and if not allocate it.
DEVTREE_CONST struct device * find_dev_path(const struct bus *parent, const struct device_path *path)
See if a device structure exists for path.
const char * dev_path(const struct device *dev)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.