3
3
* Copyright 2019 Advanced Micro Devices, Inc.
4
4
*/
5
5
6
+ #define pr_fmt (fmt ) KBUILD_MODNAME ": " fmt
7
+
6
8
#include <linux/errno.h>
9
+ #include <linux/device.h>
10
+ #include <linux/firmware.h>
7
11
#include <linux/io.h>
12
+ #include <linux/mm.h>
8
13
#include <linux/module.h>
14
+ #include <linux/psp-tee.h>
9
15
#include <linux/slab.h>
10
16
#include <linux/string.h>
11
- #include <linux/device.h>
12
17
#include <linux/tee_core.h>
13
18
#include <linux/types.h>
14
- #include <linux/mm.h>
15
19
#include <linux/uaccess.h>
16
- #include <linux/firmware.h>
20
+
17
21
#include "amdtee_private.h"
18
- #include <linux/psp-tee.h>
19
22
20
23
static struct amdtee_driver_data * drv_data ;
21
24
static DEFINE_MUTEX (session_list_mutex );
@@ -458,7 +461,7 @@ static int __init amdtee_driver_init(void)
458
461
459
462
rc = psp_check_tee_status ();
460
463
if (rc ) {
461
- pr_err ("amd-tee driver: tee not present\n" );
464
+ pr_err ("tee not present\n" );
462
465
return rc ;
463
466
}
464
467
@@ -494,7 +497,6 @@ static int __init amdtee_driver_init(void)
494
497
495
498
drv_data -> amdtee = amdtee ;
496
499
497
- pr_info ("amd-tee driver initialization successful\n" );
498
500
return 0 ;
499
501
500
502
err_device_unregister :
@@ -510,7 +512,7 @@ static int __init amdtee_driver_init(void)
510
512
kfree (drv_data );
511
513
drv_data = NULL ;
512
514
513
- pr_err ("amd-tee driver initialization failed\n" );
515
+ pr_err ("initialization failed\n" );
514
516
return rc ;
515
517
}
516
518
module_init (amdtee_driver_init );
0 commit comments