rcr2
db_printf("cr2\t0x%016lx\n", rcr2());
cpu_core[curcpu].cpuc_dtrace_illval = rcr2();
db_printf("cr2\t0x%08x\n", rcr2());
eva = rcr2();