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