Displaying 1 result from an estimated 1 matches for "register_gic_callback".
2013 Feb 15
1
[PATCH 3/4] xen/arm: dump gic debug info from arch_dump_domain_info
...maintenance_interrupt(void)
{
request_irq(25, maintenance_interrupt, 0, "irq-maintenance", NULL);
diff --git a/xen/include/asm-arm/gic.h b/xen/include/asm-arm/gic.h
index f4b0324..7c9499e 100644
--- a/xen/include/asm-arm/gic.h
+++ b/xen/include/asm-arm/gic.h
@@ -162,6 +162,9 @@ void register_gic_callback(int irq, gic_callback_fn_t fn);
extern void gic_save_state(struct vcpu *v);
extern void gic_restore_state(struct vcpu *v);
+/* print useful debug info */
+extern void gic_dump_info(struct vcpu *v);
+
#endif /* __ASSEMBLY__ */
#endif
--
1.7.2.5