[0/2] cleanup select_machine

Message

Wei Yang March 11, 2019, 6:08 a.m. UTC

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(-)