Searched refs:kernel_off (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/kernel/
H A Dkcb.c55 to_remove->kernel_off = systime_now();
75 // Update kernel_off & break out if we're done
76 k->kernel_off = systime_now();
H A Ddispatch.c91 disp->systime = systime_now() + kcb_current->kernel_off;
H A Dsyscall.c741 && (wakeup == 0 || wakeup > (systime_now() + kcb_current->kernel_off))) {
890 new_kcb->kernel_off -= systime_now();
/barrelfish-master/kernel/include/
H A Dkcb.h67 //driver whose kernel_now > this kcb's kernel_off.
68 int64_t kernel_off; member in struct:kcb
/barrelfish-master/kernel/arch/x86_64/
H A Dirq.c902 wakeup_check(now + kcb_current->kernel_off);
953 // Update kernel_off for all KCBs
956 k->kernel_off = systime_now();

Completed in 92 milliseconds