tree 54c8a08f57bf5e84a1191859744652b13d9cb9ba
parent a1dfedade0fe11a0305fd2a1bcab2113d2777f27
author Jose Marinho <jose.marinho@arm.com> 1552397437 +0000
committer Jose Marinho <jose.marinho@arm.com> 1553851623 +0000

SPCI: SPCI_MSG_RECV.

Morph the existing vmapi api_mailbox_receive onto
api_spci_msg_recv.

Change-Id: Ie78f8985cfc55509fcd71eece22d6397b52d717d