On Tue, 28 Apr 2020 at 16:46, Philippe Mathieu-Daudé <f4...@amsat.org> wrote: > > By using the TYPE_* definitions for devices, we can: > - quickly find where devices are used with 'git-grep' > - easily rename a device (one-line change). > > Signed-off-by: Philippe Mathieu-Daudé <f4...@amsat.org> > --- > hw/arm/mps2-tz.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-)
Applied to target-arm.next, thanks. -- PMM