get_debug_arch
switch (get_debug_arch()) {
debug_arch = get_debug_arch();
u8 arch = get_debug_arch();
return get_debug_arch() >= ARM_DEBUG_ARCH_V8;
return (get_debug_arch() >= ARM_DEBUG_ARCH_V7_ECP14 &&
if (get_debug_arch() < ARM_DEBUG_ARCH_V7_1)
switch (get_debug_arch()) {