tree 31e18c489a8656aaa494d90ee1605efd69a0df39
parent e22b32f6f93bb9c2426a292e406ed9401da04e47
author Andrew Walbran <qwandor@google.com> 1561472607 +0100
committer Andrew Walbran <qwandor@google.com> 1561480765 +0100

Fix a case where spci_vm_id_t should be used.

Change-Id: I76dcf01cbafe1fd995e56515b9c4d856bd0fa215