tree 872f31417bb33752892fdc494a038272f4b44144
parent e29a837ed3c5fcaa7be945a40c67723e971a8999
author Hanno Becker <hanno.becker@arm.com> 1533551716 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1649415974 +0100

Make alert sending function re-entrant

Fixes #1916

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>