target/i386: sgx: mark device not user creatable
authorPaolo Bonzini <pbonzini@redhat.com>
Tue, 9 Nov 2021 17:50:14 +0000 (18:50 +0100)
committerPaolo Bonzini <pbonzini@redhat.com>
Tue, 9 Nov 2021 17:51:53 +0000 (18:51 +0100)
commita0b9c5f75c05c12d30328a305377383652e62e63
tree9bddf08098e27ef088685ceafba5f90c02b86d40
parent114f3c8cc427333dbae331dfd2ecae64676b087e
target/i386: sgx: mark device not user creatable

The device is created by the machine based on the sgx-epc property.
It should not be created by users.

Reported-by: Thomas Huth <thuth@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
hw/i386/sgx-epc.c