Symbol: badaddr_read
sys/arch/alpha/alpha/interrupt.c
346
return(badaddr_read(addr, size, NULL));
sys/arch/alpha/include/cpu.h
130
int badaddr_read(void *, size_t, void *);
sys/arch/arm/include/cpu.h
307
int badaddr_read (void *, size_t, void *);