plat_psci_common.c 4.5 KB