예제 #1
0
파일: gic.c 프로젝트: MALATTAR/optee_os
void gic_dump_state(void)
{
	int i;
	DMSG("GICC_CTLR: 0x%x", read32(gic.gicc_base + GICC_CTLR));
	DMSG("GICD_CTLR: 0x%x", read32(gic.gicd_base + GICD_CTLR));

	for (i = 0; i < (int)gic.max_it; i++) {
		if (gic_it_is_enabled(i)) {
			DMSG("irq%d: enabled, group:%d, target:%x", i,
				gic_it_get_group(i), gic_it_get_target(i));
		}
	}
}
예제 #2
0
파일: gic.c 프로젝트: lorc/optee_os
void gic_dump_state(struct gic_data *gd)
{
	int i;

	DMSG("GICC_CTLR: 0x%x", read32(gd->gicc_base + GICC_CTLR));
	DMSG("GICD_CTLR: 0x%x", read32(gd->gicd_base + GICD_CTLR));

	for (i = 0; i < (int)gd->max_it; i++) {
		if (gic_it_is_enabled(gd, i)) {
			DMSG("irq%d: enabled, group:%d, target:%x", i,
			     gic_it_get_group(gd, i), gic_it_get_target(gd, i));
		}
	}
}