buildtype         797 drivers/irqchip/irq-gic-v3-its.c #define BUILD_SINGLE_CMD_FUNC(name, buildtype, synctype, buildfn)	\
buildtype         799 drivers/irqchip/irq-gic-v3-its.c 	  buildtype builder,						\