Searched refs:xilinx_2 (Results 1 – 1 of 1) sorted by relevance
93 void *xilinx, *xilinx_1, *xilinx_2; in board_setup_arch() local104 xilinx_2 = xilinx + 0xe; in board_setup_arch()108 writeb(0x0008, xilinx_2); in board_setup_arch()113 writeb(0x0008, xilinx_2); in board_setup_arch()