Files
u-boot-tk1-som/include/asm-microblaze/microblaze_intc.h