tree 057c277c74bbc3ed68b1e10d8db3e454106f2ec3
parent fe2bda32572ed90813f6c2c1181593ac82a684e5
author Thomas Daubney <thomas.daubney@arm.com> 1708007043 +0000
committer Thomas Daubney <thomas.daubney@arm.com> 1708007043 +0000

Conditionally include exit label

Signed-off-by: Thomas Daubney <thomas.daubney@arm.com>