/**
* This function handles the OS firmware calls. It is called from entry.S,
* just after the OS translation tables and stack have been switched for the
* firmware translation tables and stack. Returning from this function
* returns to the OS via some code in entry.S.
*/
int appf_runtime_call(unsigned function, unsigned arg1, unsigned arg2, unsigned arg3)
{
switch (function)
{
case APPF_INITIALIZE:
return late_init();
case APPF_POWER_DOWN_CPU:
return power_down_cpu(arg1, arg2, arg3);
case APPF_POWER_UP_CPUS:
return power_up_cpus(arg1, arg2);
}
return APPF_BAD_FUNCTION;
}
void power_down_devices(unsigned pd_cmd)
{
power_down_cpu(0);
}
