Searched defs:pch_cpu (Results 1 – 1 of 1) sorted by relevance
234 unsigned int pch_cpu = 0x00; in bl31_plat_set_secondary_cpu_entrypoint() local269 unsigned int pch_cpu = 0x00; in bl31_plat_set_secondary_cpu_off() local
