Typedefs starting with `v' in machdep/i386