Symbol: badaddr_read_1
sys/arch/arm/arm/fault.c
607
extern int badaddr_read_1(const uint8_t *, uint8_t *);
sys/arch/arm/arm/fault.c
622
rv = badaddr_read_1(addr, &u.v1);