The core number is called 'core_id' but the processor and device IDs are called 'proc' and 'device'. Rename these to make them less confusing. Signed-off-by: Andrew F. Davis <afd@ti.com> Change-Id: I3d7c6dddd7aa37b5dee1aa9689ce31730e9c3b59 |
||
---|---|---|
.. | ||
drivers | ||
k3_bl31_setup.c | ||
k3_console.c | ||
k3_gicv3.c | ||
k3_helpers.S | ||
k3_psci.c | ||
k3_topology.c | ||
plat_common.mk |