sock_num          130 drivers/misc/tifm_7xx1.c tifm_7xx1_sock_addr(char __iomem *base_addr, unsigned int sock_num)
sock_num          132 drivers/misc/tifm_7xx1.c 	return base_addr + ((sock_num + 1) << 10);