Symbol: badaddr_read_2
sys/arch/arm/arm32/fault.c
953
extern int badaddr_read_2(const uint16_t *, uint16_t *);
sys/arch/arm/arm32/fault.c
975
rv = badaddr_read_2(addr, &u.v2);