DAVINCI_CP_INTC_SYS_TYPE   81 drivers/irqchip/irq-davinci-cp-intc.c 	type = davinci_cp_intc_read(DAVINCI_CP_INTC_SYS_TYPE(reg));
DAVINCI_CP_INTC_SYS_TYPE  105 drivers/irqchip/irq-davinci-cp-intc.c 	davinci_cp_intc_write(type, DAVINCI_CP_INTC_SYS_TYPE(reg));