Symbol: run_machine
src/tests/add-ons/kernel/drivers/nvmm/h_io_assist/h_io_assist.c
323
run_machine(mach, vcpu);
src/tests/add-ons/kernel/drivers/nvmm/h_mem_assist/h_mem_assist.c
165
run_machine(mach, vcpu);