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