run_test
run_test(&mach, &vcpu, &tests[i]);
run_test(&mach, &vcpu, &tests64[i]);
run_test(&mach, &vcpu, &tests16[i]);
run_test();