| commit | 9553492f046a9f4e12bb09d6f77baa82071427ed | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Wed Jun 19 11:32:54 2019 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Wed Jun 19 15:40:10 2019 +0100 |
| tree | f923ea731298de198db336160e357626affcc243 | |
| parent | fc0b2b6515356dcd4597af7cf6c55228237497c7 [diff] [blame] |
Consistently use spci_vm_id_t for VM ID. Before we had a mix of spci_vm_id_t, uint32_t and uint64_t. Change-Id: I7b51e48490f0f54064e1121242052873bddad2b5
diff --git a/inc/hf/vm.h b/inc/hf/vm.h index 9548f2b..e35edc6 100644 --- a/inc/hf/vm.h +++ b/inc/hf/vm.h
@@ -73,7 +73,7 @@ }; struct vm { - uint32_t id; + spci_vm_id_t id; /** See api.c for the partial ordering on locks. */ struct spinlock lock; uint32_t vcpu_count;