Symbol: badaddr_read_4
sys/arch/arm/arm/fault.c
609
extern int badaddr_read_4(const uint32_t *, uint32_t *);
sys/arch/arm/arm/fault.c
634
rv = badaddr_read_4(addr, &u.v4);