peek_word
x = peek_word((void *)(&sreg->se_csr));
x = peek_word((void *)(&ereg->ie_csr));
int peek_word(void *);
rv = peek_word(va);