Here is two simple change related to select_machine() [1]: make find_default_machine() local since no one outside file use it [2]: allocate TYPE_MACHINE list only once to select machine type
Wei Yang (2): vl.c: make find_default_machine() local vl.c: allocate TYPE_MACHINE list once during bootup include/hw/boards.h | 1 - vl.c | 24 +++++++++++------------- 2 files changed, 11 insertions(+), 14 deletions(-) -- 2.19.1