card1            2964 dev/pci/if_san_xilinx.c write_front_end_reg(void *card1, unsigned short off, unsigned char value)
card1            2966 dev/pci/if_san_xilinx.c 	sdla_t *card = (sdla_t *)card1;
card1            2986 dev/pci/if_san_xilinx.c read_front_end_reg(void *card1, unsigned short off)
card1            2988 dev/pci/if_san_xilinx.c 	sdla_t* card = (sdla_t *)card1;