mvebu_system_controller_get_soc_id
int mvebu_system_controller_get_soc_id(u32 *dev, u32 *rev);
if (!mvebu_system_controller_get_soc_id(&soc_dev_id, &soc_rev)) {