psci_system_reset2_supported   84 drivers/firmware/psci/psci.c static bool psci_system_reset2_supported;
psci_system_reset2_supported  256 drivers/firmware/psci/psci.c 	    psci_system_reset2_supported) {
psci_system_reset2_supported  323 drivers/firmware/psci/psci.c 		psci_system_reset2_supported = true;