예제 #1
0
static inline void arm_gic_dump32(const char *name, uintptr_t regaddr,
                                  int nlines)
{
  lowsyslog(LOG_INFO, "       %s[%08lx]\n", name, (unsigned long)regaddr);
  arm_gic_dumpregs(regaddr, nlines, 32);
}
예제 #2
0
static inline void arm_gic_dump32(const char *name, uintptr_t regaddr,
                                  int nlines)
{
  irqinfo("       %s[%08lx]\n", name, (unsigned long)regaddr);
  arm_gic_dumpregs(regaddr, nlines, 32);
}