43,6 → 43,7 |
#include <synch/synch.h> |
#include <synch/waitq.h> |
#include <print.h> |
#include <arch/cpu_node.h> |
|
/** |
* This global variable is used to pick-up application processors |
61,7 → 62,7 |
ofw_tree_node_t *node; |
count_t cnt = 0; |
|
node = ofw_tree_find_child_by_device_type(ofw_tree_lookup("/"), "cpu"); |
node = ofw_tree_find_child_by_device_type(cpus_parent(), "cpu"); |
while (node) { |
cnt++; |
node = ofw_tree_find_peer_by_device_type(node, "cpu"); |
76,12 → 77,12 |
ofw_tree_node_t *node; |
int i; |
|
node = ofw_tree_find_child_by_device_type(ofw_tree_lookup("/"), "cpu"); |
node = ofw_tree_find_child_by_device_type(cpus_parent(), "cpu"); |
for (i = 0; node; node = ofw_tree_find_peer_by_device_type(node, "cpu"), i++) { |
uint32_t mid; |
ofw_tree_property_t *prop; |
|
prop = ofw_tree_getprop(node, "upa-portid"); |
prop = ofw_tree_getprop(node, PORTID_NAME); |
if (!prop || !prop->value) |
continue; |
|