Symbol: badaddr_read
sys/arch/alpha/alpha/interrupt.c
383
badaddr_read(void *addr, size_t size, void *rptr)
sys/arch/arm/arm32/fault.c
950
badaddr_read(void *addr, size_t size, void *rptr)
sys/arch/m68k/m68k/m68k_trap.c
1120
badaddr_read(volatile void *addr, size_t size, void *result)
sys/arch/powerpc/ibm4xx/trap.c
959
badaddr_read(void *addr, size_t size, int *rptr)
sys/arch/powerpc/powerpc/trap.c
725
badaddr_read(void *addr, size_t size, int *rptr)