Page MenuHomeFreeBSD
Files F103056039

D34415.id103737.diff
No OneTemporary
Actions

D34415.id103737.diff
View Options

diff --git a/sys/arm/arm/gic.c b/sys/arm/arm/gic.c
--- a/sys/arm/arm/gic.c
+++ b/sys/arm/arm/gic.c
@@ -37,6 +37,7 @@
__FBSDID("$FreeBSD$");
#include "opt_acpi.h"
+#include "opt_ddb.h"
#include "opt_platform.h"
#include <sys/param.h>
@@ -72,6 +73,11 @@
#include <dev/acpica/acpivar.h>
#endif
+#ifdef DDB
+#include <ddb/ddb.h>
+#include <ddb/db_lex.h>
+#endif
+
#include <arm/arm/gic.h>
#include <arm/arm/gic_common.h>
@@ -1147,6 +1153,58 @@
return (0);
}
+#ifdef DDB
+static void
+arm_gic_db_show(device_t dev)
+{
+ struct arm_gic_softc *sc = device_get_softc(dev);
+ uint32_t val;
+ u_int i;
+
+ db_printf("%s CPU registers:\n", device_get_nameunit(dev));
+ db_printf(" CTLR: %08x PMR: %08x BPR: %08x RPR: %08x\n",
+ gic_c_read_4(sc, GICC_CTLR), gic_c_read_4(sc, GICC_PMR),
+ gic_c_read_4(sc, GICC_BPR), gic_c_read_4(sc, GICC_RPR));
+ db_printf("HPPIR: %08x IIDR: %08x\n", gic_c_read_4(sc, GICC_HPPIR),
+ gic_c_read_4(sc, GICC_IIDR));
+
+ db_printf("%s Distributor registers:\n", device_get_nameunit(dev));
+ db_printf(" CTLR: %08x TYPER: %08x IIDR: %08x\n",
+ gic_d_read_4(sc, GICD_CTLR), gic_d_read_4(sc, GICD_TYPER),
+ gic_d_read_4(sc, GICD_IIDR));
+ for (i = 0; i < sc->nirqs; i++) {
+ if (i <= GIC_LAST_SGI)
+ db_printf("SGI %2u ", i);
+ else if (i <= GIC_LAST_PPI)
+ db_printf("PPI %2u ", i - GIC_FIRST_PPI);
+ else
+ db_printf("SPI %2u ", i - GIC_FIRST_SPI);
+ db_printf(" grp:%u",
+ !!(gic_d_read_4(sc, GICD_IGROUPR(i)) & GICD_I_MASK(i)));
+ db_printf(" enable:%u pend:%u active:%u",
+ !!(gic_d_read_4(sc, GICD_ISENABLER(i)) & GICD_I_MASK(i)),
+ !!(gic_d_read_4(sc, GICD_ISPENDR(i)) & GICD_I_MASK(i)),
+ !!(gic_d_read_4(sc, GICD_ISACTIVER(i)) & GICD_I_MASK(i)));
+ db_printf(" pri:%u",
+ (gic_d_read_4(sc, GICD_IPRIORITYR(i)) >> 8 * (i & 0x3)) &
+ 0xff);
+ db_printf(" trg:%u",
+ (gic_d_read_4(sc, GICD_ITARGETSR(i)) >> 8 * (i & 0x3)) &
+ 0xff);
+ val = gic_d_read_4(sc, GICD_ICFGR(i)) >> 2 * (i & 0xf);
+ if ((val & GICD_ICFGR_POL_MASK) == GICD_ICFGR_POL_LOW)
+ db_printf(" LO");
+ else
+ db_printf(" HI");
+ if ((val & GICD_ICFGR_TRIG_MASK) == GICD_ICFGR_TRIG_LVL)
+ db_printf(" LV");
+ else
+ db_printf(" ED");
+ db_printf("\n");
+ }
+}
+#endif
+
static device_method_t arm_gic_methods[] = {
/* Bus interface */
DEVMETHOD(bus_print_child, arm_gic_print_child),
@@ -1179,6 +1237,9 @@
DEVMETHOD(gic_release_msi, arm_gic_release_msi),
DEVMETHOD(gic_alloc_msix, arm_gic_alloc_msix),
DEVMETHOD(gic_release_msix, arm_gic_release_msix),
+#ifdef DDB
+ DEVMETHOD(gic_db_show, arm_gic_db_show),
+#endif
{ 0, 0 }
};
@@ -1186,6 +1247,54 @@
DEFINE_CLASS_0(gic, arm_gic_driver, arm_gic_methods,
sizeof(struct arm_gic_softc));
+#ifdef DDB
+DB_FUNC(gic, db_show_gic, db_show_table, CS_OWN, NULL)
+{
+ device_t dev;
+ int t;
+ bool valid;
+
+ valid = false;
+ t = db_read_token();
+ if (t == tIDENT) {
+ dev = device_lookup_by_name(db_tok_string);
+ valid = true;
+ }
+ db_skip_to_eol();
+ if (!valid) {
+ db_printf("usage: show gic <name>\n");
+ return;
+ }
+
+ if (dev == NULL) {
+ db_printf("device not found\n");
+ return;
+ }
+
+ GIC_DB_SHOW(dev);
+}
+
+DB_SHOW_ALL_COMMAND(gics, db_show_all_gics)
+{
+ devclass_t dc;
+ device_t dev;
+ int i;
+
+ dc = devclass_find("gic");
+ if (dc == NULL)
+ return;
+
+ for (i = 0; i < devclass_get_maxunit(dc); i++) {
+ dev = devclass_get_device(dc, i);
+ if (dev != NULL)
+ GIC_DB_SHOW(dev);
+ if (db_pager_quit)
+ break;
+ }
+}
+
+#endif
+
/*
* GICv2m support -- the GICv2 MSI/MSI-X controller.
*/
diff --git a/sys/arm/arm/gic_if.m b/sys/arm/arm/gic_if.m
--- a/sys/arm/arm/gic_if.m
+++ b/sys/arm/arm/gic_if.m
@@ -67,3 +67,7 @@
device_t dev;
struct intr_irqsrc *isrc;
};
+
+METHOD void db_show {
+ device_t dev;
+};

File Metadata

Mime Type
text/plain
Expires
Thu, Nov 21, 8:53 AM (15 h, 6 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
14757976
Default Alt Text
D34415.id103737.diff (3 KB)

Event Timeline