Symbol: badaddr_read
sys/arch/alpha/alpha/interrupt.c
350
badaddr_read(void *addr, size_t size, void *rptr)
sys/arch/arm/arm/fault.c
605
badaddr_read(void *addr, size_t size, void *rptr)