/*
- * Copyright 2004-2009 Freescale Semiconductor, Inc. All Rights Reserved.
+ * Copyright (C)2004-2010 Freescale Semiconductor, Inc. All Rights Reserved.
*
* The code contained herein is licensed under the GNU General Public
* License. You may obtain a copy of the GNU General Public License
#include <asm/mach/irq.h>
#include <mach/hardware.h>
+#include <mach/common.h>
/*
*****************************************
set_irq_handler(i, handle_level_irq);
set_irq_flags(i, IRQF_VALID);
}
-
pr_info("TrustZone Interrupt Controller (TZIC) initialized\n");
}