no message

Match-id-729cba1d37b0210661a742e69d5c877d91a6a566

drivers/include/boot_sharedmem.h

@@ -11,7 +11,6 @@
  */
 #ifndef DRIVERS_BOOT_SHAREDMEM_H
 #define DRIVERS_BOOT_SHAREDMEM_H
-#include <types.h>
 
 #define TEEOS_SHAREDMEM_MODULE_SIZE_256    256
 #define TEEOS_SHAREDMEM_MODULE_SIZE_512    512

drivers/tee_misc_driver/src/drv_sharedmem.h

@@ -11,7 +11,6 @@
  */
 #ifndef DRIVERS_SHAREDMEM_H
 #define DRIVERS_SHAREDMEM_H
-#include <types.h>
 #include "tee_defines.h"
 #define MAP_INVALID_32BITADDR        0xFFFFFFFF
 #define MAP_INVALID_64BITADDR        0xFFFFFFFFFFFFFFFF

framework/drvmgr/src/drv_dispatch.h

@@ -12,7 +12,6 @@
 #ifndef DRVMGR_SRC_DRV_DISPATCH_H
 #define DRVMGR_SRC_DRV_DISPATCH_H
 
-#include <hm_msg_type.h>
 #include <tee_defines.h>
 #include <cs.h>
 

framework/drvmgr/src/drv_dyn_conf_mgr.h

@@ -13,8 +13,6 @@
 #ifndef DRVMGR_DRV_DYN_CONF_MGR_H
 #define DRVMGR_DRV_DYN_CONF_MGR_H
 
-#include <arch/types.h>
-#include <hm_msg_type.h>
 #include <pthread.h>
 #include <dlist.h>
 #include <tee_defines.h>

framework/gtask/src/init/init.c

@@ -15,7 +15,6 @@
 #include <autoconf.h>
 #include <securec.h>
 
-#include <api/kcalls.h>
 #include <sys/syscalls.h>
 #include <sys/hm_types.h>
 #include <procmgr.h>

framework/gtask/src/init/main.c

@@ -12,7 +12,6 @@
 
 #include <autoconf.h>
 #include <stdio.h>
-#include <bootinfo_types.h>
 #include <ipclib.h>
 #include <mmgrapi.h>
 #include <irqmgr_api.h>

framework/gtask/src/manager/mem_manager.c

@@ -15,7 +15,6 @@
 #include <mem_ops.h>
 #include <hm_mman.h>
 #include <dlist.h>
-#include <api/tee_common.h>
 #include <sys/teecall.h>
 #include "tee_log.h"
 #include "tee_mem_mgmt_api.h"

framework/tarunner/src/main.c

@@ -18,7 +18,6 @@
 #include <sys/mman.h>
 #include <sys/hm_priorities.h> /* for `HM_PRIO_TEE_*` */
 #include <sys/fileio.h>
-#include <api/tee_common.h>
 #include <procmgr_ext.h>
 #include <ipclib.h>
 #include <cs.h>

framework/tarunner/src/ta_mt.c

@@ -14,7 +14,6 @@
 #include <string.h>
 #include <inttypes.h>
 #include <dlfcn.h>
-#include <api/errno.h> /* is_ref_err */
 #include <pthread.h>
 #include <sys/usrsyscall_ext.h>
 #include <pthread_ext.h>

framework/teesmcmgr/src/teesmc.c

@@ -11,7 +11,6 @@
  */
 #include <stdio.h>
 #include <inttypes.h>
-#include <hm_msg_type.h>
 #include <securec.h>
 #include <pathmgr_api.h>
 #include <ipclib.h>

lib/drvlib/libdrv_shared/src/drv_dispatch.h

@@ -13,7 +13,6 @@
 #define DRVMGR_SRC_DRV_DISPATCH_H
 
 #include <dlist.h>
-#include <hm_msg_type.h>
 #include <tee_defines.h>
 #include <cs.h>
 

lib/drvlib/libdrv_shared/src/drv_random.h

@@ -17,7 +17,6 @@
 #include "hm_msg_type.h"
 #include <errno.h>
 #include <sys/usrsyscall_new_ext.h>
-#include <hm_msg_type.h>
 #include <sys/hm_types.h>
 
 typedef int32_t (*crypto_drv_init) (const void *ops, void *buf, uint32_t buf_len);

lib/syslib/libspawn_common/include/spawn_init.h

@@ -14,7 +14,6 @@
 #define LIBSPAWN_COMMON_INCLUDE_SPAWN_INIT_H
 
 #include <stdint.h>
-#include <sys/types.h>
 #include <tee_defines.h>
 
 #define ARGV_SIZE  64

lib/syslib/libspawn_common/src/spawn_init.c

@@ -14,7 +14,6 @@
 #include <stdint.h>
 #include <stddef.h>
 #include <securec.h>
-#include <sys/types.h>
 #include <ac_map.h>
 #include <tee_log.h>
 

lib/teelib/libpermission_service/src/permission_service.h

@@ -12,7 +12,6 @@
 #ifndef __PERSRV_H__
 #define __PERSRV_H__
 
-#include <hm_msg_type.h>
 #include <sys/hm_types.h>
 #include "crypto_wrapper.h"
 #include "tee_internal_task_pub.h"

lib/teelib/libse/src/se_service/se_service.h

@@ -13,7 +13,6 @@
 #define SE_SERVICE_SE_SERVICE_H
 
 #include "tee_defines.h"
-#include "hm_msg_type.h"
 
 #define SE_PATH "seservice"
 

lib/teelib/libtee_shared/src/oemkey.c

@@ -11,7 +11,6 @@
  */
 
 #include <stdint.h>
-#include <hm_msg_type.h> /* for ARRAY_SIZE */
 #include <sre_syscalls_id.h>
 #include "securec.h"
 #include "tee_defines.h"

lib/teelib/libteeconfig/src/drv_hal/drvcalls.c

@@ -14,7 +14,6 @@
 #include <string.h>
 #include <sre_syscalls_id.h>
 #include <sre_syscalls_id_ext.h>
-#include <api/errno.h>
 #include <securec.h>
 #include <api/tee_common.h>
 #include "tee_log.h"

lib/teelib/libteeconfig/src/drv_hal/tee_drv_client.c

@@ -16,7 +16,6 @@
 #include <pthread.h>
 #include <malloc.h>
 #include <securec.h>
-#include <hm_msg_type.h>
 #include <tee_log.h>
 #include <hmdrv.h>
 #include <ipclib.h>

lib/teelib/libteeconfig/src/drv_hal/tee_misc_drv_hal.c

@@ -11,9 +11,7 @@
  */
 #include <stdio.h>
 #include <string.h>
-#include <api/errno.h>
 #include <securec.h>
-#include <api/tee_common.h>
 #include <mem_ops.h>
 #include "tee_log.h"
 #include "boot_sharedmem.h"

lib/teelib/libteedynsrv/src/tee_dynamic_srv.c

@@ -16,7 +16,6 @@
 #include <mem_ops.h>
 #include <sys/usrsyscall_ext.h>
 #include <sys/hmapi_ext.h>
-#include <api/kcalls.h>
 #include <sys/time.h>
 #include "timer_export.h"
 #include <procmgr_ext.h>

lib/teelib/libteeos/include/tee/tee_internal_task_pub.h

@@ -14,7 +14,6 @@
 #define TEE_INTERNAL_TASK_PUB_H
 
 #include <stddef.h>
-#include "types.h"
 #include "tee_defines.h"
 #include "ta_framework.h"
 #include "tee_service_public.h"

lib/teelib/libtimer/include/sys_timer.h

@@ -15,7 +15,6 @@
 #include <dlist.h>
 #include <limits.h>
 #include <sre_errno.h>
-#include <hm_msg_type.h>
 #include <tee_time_defines.h>
 
 void release_timer_event(const TEE_UUID *uuid);

lib/teelib/libtimer/include/timer.h

@@ -14,8 +14,6 @@
 #define SYS_LIBS_LIBTIMER_TIMER_H
 
 #include <stdint.h>
-#include <kernel/time.h>
-#include <hm_msg_type.h>
 #include <sre_syscalls_id.h>
 #include <time.h>
 #include <sys_timer.h>

services/huk_service/src/main.c

@@ -16,7 +16,6 @@
 #include <tee_defines.h>
 #include <ac.h>
 #include <ac_dynamic.h>
-#include <api/errno.h>
 #include <sys/usrsyscall.h>
 #include <sre_syscalls_ext.h>
 #include <ipclib.h>

services/permission_service/src/main.c

@@ -13,7 +13,6 @@
 #include <sys/mman.h>
 #include <tee_log.h>
 #include <msg_ops.h>
-#include <api/errno.h>          /* is_ref_err */
 #include <sys/usrsyscall.h>     /* for ipc_msg_create_hdl */
 #include <ipclib.h>             /* for channel */
 #include <sys/usrsyscall_new.h> /* for cref_t */