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); }
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); }