linux_dsm_epyc7002/include/linux/irqchip
..
bcm2835.h