All symbols starting with `v' in driverkit/i386