psci_set_osi_mode
ret = psci_set_osi_mode(use_osi);
psci_set_osi_mode(false);
int psci_set_osi_mode(bool enable);