Symbol: V750UCODE
sys/arch/vax/boot/boot/boot.c
344
printf("new rev level=%d\n", V750UCODE(mid));
sys/arch/vax/vax/ka750.c
118
V750HARDW(vax_cpudata), V750UCODE(vax_cpudata));