On 09/11/2021 18.50, Paolo Bonzini wrote:
> 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 | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/hw/i386/sgx-epc.c b/hw/i386/sgx-epc.c
> index 55e2217eae..e508827e78 100644
> --- a/hw/i386/sgx-epc.c
> +++ b/hw/i386/sgx-epc.c
> @@ -154,6 +154,7 @@ static void sgx_epc_class_init(ObjectClass *oc, void *data)
> dc->realize = sgx_epc_realize;
> dc->unrealize = sgx_epc_unrealize;
> dc->desc = "SGX EPC section";
> + dc->user_creatable = false;
> device_class_set_props(dc, sgx_epc_properties);
>
> mdc->get_addr = sgx_epc_md_get_addr;
>
Reviewed-by: Thomas Huth <thuth@redhat.com>