Add a helper function to determine the number of enabled CPUs

[coreboot.git] / src / include / device / device.h

diff --git a/src/include/device/device.h b/src/include/device/device.h
index a7de0c9bb239402efe7b1d6703d7d96a1efce5e4..0aea1d6087ee3a3ec2be198719432fc6c5b75767 100644 (file)
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -132,6 +132,8 @@ device_t dev_find_device (u16 vendor, u16 device, device_t from);
 device_t dev_find_class (unsigned int class, device_t from);
 device_t dev_find_slot (unsigned int bus, unsigned int devfn);
 device_t dev_find_slot_on_smbus (unsigned int bus, unsigned int addr);
+device_t dev_find_lapic(unsigned apic_id);
+int dev_count_cpu(void);
 
 /* Debug functions */
 void print_resource_tree(struct device * root, int debug_level,