Get the cpu IDs from the FDT.
These are the IDs used to identify cores in PSCI.
Change-Id: I9e88a6c69f963864591e39f0191cdd5ce824ce6d
diff --git a/inc/hf/fdt_handler.h b/inc/hf/fdt_handler.h
index 3f72218..10d1189 100644
--- a/inc/hf/fdt_handler.h
+++ b/inc/hf/fdt_handler.h
@@ -24,6 +24,8 @@
struct fdt_header *fdt_map(paddr_t fdt_addr, struct fdt_node *n,
struct mpool *ppool);
bool fdt_unmap(struct fdt_header *fdt, struct mpool *ppool);
+void fdt_find_cpus(const struct fdt_node *root, uint64_t *cpu_ids,
+ size_t *cpu_count);
void fdt_find_memory_ranges(const struct fdt_node *root, struct boot_params *p);
bool fdt_find_initrd(struct fdt_node *n, paddr_t *begin, paddr_t *end);