Symbol: ka88_badaddr
sys/arch/vax/vax/ka88.c
67
static void ka88_badaddr(void);
sys/arch/vax/vax/ka88.c
84
.cpu_badaddr = ka88_badaddr,