* i386-tdep.c (i386_register_virtual_type,