Files
thead-kernel/arch/arm/include/debug/ux500.S