b6cec33785
1.add sys_cirq driver 2.add gic api for cirq Change-Id: Ie6802d6ddcf7dde3412a050736dfdc85f97cb51b Signed-off-by: gtk_pangao <gtk_pangao@mediatek.com> |
||
---|---|---|
.. | ||
mt_gic_v3.h | ||
plat_helpers.h | ||
plat_macros.S | ||
plat_mt_cirq.h | ||
plat_private.h | ||
platform_def.h |