tree 8805c9fe152bb2aca6cc0ac33cab4f8448a8b58d
parent a824af6551e0f8e6775492656288e1d53efea316
author Jose Marinho <jose.marinho@arm.com> 1551349557 +0000
committer Jose Marinho <jose.marinho@arm.com> 1556291313 +0100

SPCI: SPCI_YIELD.

Adapted hf_vcpu_yield to conform with the spci_yield specification.

Change-Id: I7ad11e83f068a09a19fd930dcead787b5a22e498