rcr2               86 trap.c                       tf->trapno, cpuid(), tf->eip, rcr2());
rcr2               93 trap.c                     tf->err, cpuid(), tf->eip, rcr2());