HomeSort by: relevance | last modified time | path
    Searched refs:badaddr_read_4 (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/arm/arm/
bcopyinout.S 728 * int badaddr_read_4(const uint32_t *src, uint32_t *dest)
733 ENTRY(badaddr_read_4) function
749 END(badaddr_read_4)
  /src/sys/arch/arm/arm32/
fault.c 954 extern int badaddr_read_4(const uint32_t *, uint32_t *);
981 rv = badaddr_read_4(addr, &u.v4);

Completed in 25 milliseconds