Symbol: badaddr_workaround
sys/arch/sgimips/sgimips/machdep.c
202
static int badaddr_workaround(void *, size_t);
sys/arch/sgimips/sgimips/machdep.c
205
.badaddr = badaddr_workaround,