VM86_UNKNOWN
save_v86_state(regs, VM86_UNKNOWN);
save_v86_state(regs, VM86_UNKNOWN);
} else if (VM86_TYPE(ret) == VM86_UNKNOWN) {
do_test(&v86, vmcode_popf_hlt - vmcode, VM86_UNKNOWN, 0, "POPF with VIP set and IF clear");
do_test(&v86, vmcode_popf_hlt - vmcode, VM86_UNKNOWN, 0, "POPF with VIP clear and IF set");