rcr2
u_int rcr2(void);
#define x86_get_cr2() rcr2()
eva = (frame->tf_trapno == T_PAGEFLT ? rcr2() : 0);