HomeSort by: relevance | last modified time | path
    Searched defs:badaddr_read (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/alpha/alpha/
interrupt.c 379 return (badaddr_read(addr, size, NULL));
383 badaddr_read(void *addr, size_t size, void *rptr) function in typeref:typename:int
  /src/sys/arch/powerpc/powerpc/
trap.c 80 int badaddr_read(void *, size_t, int *);
711 return badaddr_read(addr, size, NULL);
715 badaddr_read(void *addr, size_t size, int *rptr) function in typeref:typename:int
  /src/sys/arch/arm/arm32/
fault.c 950 badaddr_read(void *addr, size_t size, void *rptr) function in typeref:typename:int

Completed in 14 milliseconds