|
@@ -134,8 +134,8 @@ bool prcmu_pending_irq(void)
|
|
*/
|
|
*/
|
|
bool prcmu_is_cpu_in_wfi(int cpu)
|
|
bool prcmu_is_cpu_in_wfi(int cpu)
|
|
{
|
|
{
|
|
- return readl(PRCM_ARM_WFI_STANDBY) & cpu ? PRCM_ARM_WFI_STANDBY_WFI1 :
|
|
|
|
- PRCM_ARM_WFI_STANDBY_WFI0;
|
|
|
|
|
|
+ return readl(PRCM_ARM_WFI_STANDBY) &
|
|
|
|
+ (cpu ? PRCM_ARM_WFI_STANDBY_WFI1 : PRCM_ARM_WFI_STANDBY_WFI0);
|
|
}
|
|
}
|
|
|
|
|
|
/*
|
|
/*
|