void procrestore(Proc* p) { uvlong t; if(p->kp) return; t = lcycles(); p->pcycles -= t; fpuprocrestore(p); }
void procrestore(Proc *p) { uint64_t t; if(p->kp) return; cycles(&t); p->pcycles -= t; fpuprocrestore(p); }
void procrestore(Proc* p) { uvlong t; if(p->kp) return; cycles(&t); p->pcycles -= t; p->kentry += t; fpuprocrestore(p); }