| commit | fc6cd9d610bd6bf1bf187d8df2ddb6976ae4c885 | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Tue Jun 25 15:23:27 2019 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Tue Jun 25 17:39:25 2019 +0100 |
| tree | 31e18c489a8656aaa494d90ee1605efd69a0df39 | |
| parent | e22b32f6f93bb9c2426a292e406ed9401da04e47 [diff] [blame] |
Fix a case where spci_vm_id_t should be used. Change-Id: I76dcf01cbafe1fd995e56515b9c4d856bd0fa215
diff --git a/src/api.c b/src/api.c index 59a346d..698e788 100644 --- a/src/api.c +++ b/src/api.c
@@ -208,7 +208,7 @@ /** * Returns the ID of the VM. */ -int64_t api_vm_get_id(const struct vcpu *current) +spci_vm_id_t api_vm_get_id(const struct vcpu *current) { return current->vm->id; }