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