Searched defs:pch_cpu (Results 1 – 2 of 2) sorted by relevance
258 unsigned int pch_cpu = 0x00; in bl31_plat_set_secondary_cpu_entrypoint() local364 unsigned int pch_cpu = 0x00; in bl31_plat_set_secondary_cpu_off() local
59 unsigned int pch_cpu = 0x0; in socfpga_pwr_domain_on() local