Searched refs:gxbb_cpu0_go (Results 1 – 2 of 2) sorted by relevance
28 static volatile uint32_t gxbb_cpu0_go; variable93 gxbb_cpu0_go = 1; in gxbb_pwr_domain_on()94 flush_dcache_range((uintptr_t)&gxbb_cpu0_go, sizeof(gxbb_cpu0_go)); in gxbb_pwr_domain_on()120 gxbb_cpu0_go = 0; in gxbb_pwr_domain_on_finish()121 flush_dcache_range((uintptr_t)&gxbb_cpu0_go, sizeof(gxbb_cpu0_go)); in gxbb_pwr_domain_on_finish()158 while (gxbb_cpu0_go == 0) in gxbb_pwr_domain_pwr_down_wfi()189 gxbb_cpu0_go = 0; in plat_setup_psci_ops()