Symbol: DAVINCI_CP_INTC_SYS_TYPE
drivers/irqchip/irq-davinci-cp-intc.c
104
davinci_cp_intc_write(type, DAVINCI_CP_INTC_SYS_TYPE(reg));
drivers/irqchip/irq-davinci-cp-intc.c
80
type = davinci_cp_intc_read(DAVINCI_CP_INTC_SYS_TYPE(reg));