Searched refs:intdsb (Results 1 – 1 of 1) sorted by relevance
135 volatile unsigned int * const intdsb = (unsigned int*)MICRODEV_FPGA_INTDSB_REG; in microdev_print_fpga_intc_status() local145 printk("FPGA_INTDSB = 0x%08x\n", *intdsb); in microdev_print_fpga_intc_status()