| commit | 0d7a068dab8b61810d12286bfcd3f82b9ec36ca3 | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Thu Dec 06 16:48:47 2018 +0000 |
| committer | Andrew Walbran <qwandor@google.com> | Thu Dec 06 16:51:05 2018 +0000 |
| tree | 1d29a1bfc0800afd96c1775038f2ffc842dad72d | |
| parent | a98c323123d21737e9adc84da8326445d209a26f [diff] [blame] |
Documenting lock order. Change-Id: Ie9c3b1a330ccb93c2ef954c4018988d9b14187ac
diff --git a/inc/hf/vm.h b/inc/hf/vm.h index dfe80b9..69ceac7 100644 --- a/inc/hf/vm.h +++ b/inc/hf/vm.h
@@ -41,6 +41,7 @@ struct vm { uint32_t id; + /** See api.c for the partial ordering on locks. */ struct spinlock lock; uint32_t vcpu_count; struct vcpu vcpus[MAX_CPUS];