rcr2
frame->tf_rflags, rcr2(), curcpu()->ci_ilevel, frame->tf_rsp);
cr2 = rcr2();
cr2 = rcr2();
tf->tf_trapno, tf->tf_rip, rcr2(), e);
(long)rcr2(), curcpu()->ci_ilevel, frame->tf_esp);
ksi.ksi_addr = (void *)rcr2();
cr2 = rcr2();
cr2 = rcr2();
tf->tf_trapno, tf->tf_eip, rcr2(), e);
pcb->pcb_cr2 = rcr2();
frame.sf_addr = (char *)rcr2();
cpudata->gcr2 = rcr2();