Searched refs:gPESoCDeviceType (Results 1 – 1 of 1) sorted by relevance
39 static char *gPESoCDeviceType; variable190 if (gPESoCDeviceType == 0) { in pe_arm_get_soc_base_phys()193 gPESoCDeviceType = gPESoCDeviceTypeBuffer; in pe_arm_get_soc_base_phys()602 if (!strcmp(gPESoCDeviceType, "t8002-io") || in pe_arm_init_timer()603 !strcmp(gPESoCDeviceType, "t8004-io")) { in pe_arm_init_timer()