plat_psci_handlers.c 4.37 KB