On Tue, Oct 20, 2020 at 08:48:54AM -0700, Dave Hansen wrote:
quoted
int __init sgx_drv_init(void)
{
unsigned int eax, ebx, ecx, edx;@@ -181,5 +192,12 @@ int __init sgx_drv_init(void)
return ret;
}
+ ret = misc_register(&sgx_dev_provision);
+ if (ret) {
+ pr_err("Creating /dev/sgx/provision failed with %d.\n", ret);
+ misc_deregister(&sgx_dev_enclave);
+ return ret;
+ }
+
Isn't it a *bit* too specific to say that a device file failed to be
created? Do other misc devices use this kind of message?
Before seeing this I had already removed it. It is incosistent at
least and quite useless error really. We have tracing tools for
this.
/Jarkko