Revision 83c9f4ca hw/exynos4210_combiner.c

b/hw/exynos4210_combiner.c
27 27
 * IRQs are passed to GIC through Combiner.
28 28
 */
29 29

  
30
#include "sysbus.h"
30
#include "hw/sysbus.h"
31 31

  
32
#include "exynos4210.h"
32
#include "hw/exynos4210.h"
33 33

  
34 34
//#define DEBUG_COMBINER
35 35

  

Also available in: Unified diff