psci_has_osi_support
bool use_osi = psci_has_osi_support();
if (!psci_has_osi_support())
if (psci_has_osi_support()) {
bool psci_has_osi_support(void);