diff options
| author | Dr. David Alan Gilbert <dgilbert@redhat.com> | 2019-07-29 17:29:02 +0100 |
|---|---|---|
| committer | Michael S. Tsirkin <mst@redhat.com> | 2019-07-29 16:57:27 -0400 |
| commit | 92fd453c6717acbeafcbbac39084a6f1c9ac6827 (patch) | |
| tree | b2115d0d9262aae071f5cb32bfcac8b0beb5961a /hw/tpm/tpm_ppi.h | |
| parent | fff3159900d2b95613a9cb75fc3703e67a674729 (diff) | |
Revert "Revert "globals: Allow global properties to be optional""
This reverts commit 8fa70dbd8bb478d9483c1da3e9976a2d86b3f9a0.
Because we're about to revert it's neighbour and thus uses an optional
again.
Signed-off-by: Dr. David Alan Gilbert <dgilbert@redhat.com>
Message-Id: <20190729162903.4489-2-dgilbert@redhat.com>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Reviewed-by: Cornelia Huck <cohuck@redhat.com>
Diffstat (limited to 'hw/tpm/tpm_ppi.h')
0 files changed, 0 insertions, 0 deletions