tcic_read_4
static __inline__ int tcic_read_4(struct tcic_handle *, int);
static __inline__ int tcic_read_4(struct tcic_handle *, int);
r_addr = tcic_read_4(h, TCIC_R_ADDR);
r_addr = tcic_read_4(h, TCIC_R_ADDR);