/core/arch/arm32/include/kernel/

• ../
• arch_debug.h
• asc.h
• kta_types.h
• misc.h
• mutex.h
• tee_l2cc_mutex.h
• thread.h
• thread_defs.h
• time_source.h
• tz_proc.h
• tz_proc_def.h
• tz_ssvce.h
• tz_ssvce_def.h
• tz_ssvce_pl310.h