plat_psci_common.c 4.6 KB