psci_setup.c 11 KB