Advertisement
Guest User

Untitled

a guest
May 18th, 2016
91
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.06 KB | None | 0 0
  1. void burn_credits(struct csched2_runqueue_data *rqd, struct csched2_vcpu *svc, s_time_t now)
  2. {
  3. s_time_t delta;
  4.  
  5. delta = now - svc->start_time;
  6.  
  7. if ( delta > 0 ) {
  8. SCHED_STAT_CRANK(burn_credits_t2c);
  9. t2c_update(rqd, delta, svc);
  10. svc->start_time = now;
  11. }
  12. else
  13. {
  14. printk(XENLOG_WARNING "%s: Time went backwards? "
  15. "now %"PRI_stime" start_time %"PRI_stime"\n",
  16. __func__, now, svc->start_time);
  17.  
  18.  
  19.  
  20.  
  21. (XEN) [ 129.126370] burn_credits: Time went backwards? now 129126357182 start_time 129126357659
  22. (XEN) [ 129.590457] burn_credits: Time went backwards? now 129590442023 start_time 129590442953
  23. (XEN) [ 129.590461] burn_credits: Time went backwards? now 129590442023 start_time 129590442953
  24. (XEN) [ 129.590466] burn_credits: Time went backwards? now 129590442023 start_time 129590442953
  25. (XEN) [ 130.254463] burn_credits: Time went backwards? now 130254450552 start_time 130254451068
  26. (XEN) [ 131.158537] burn_credits: Time went backwards? now 131158524688 start_time 131158524750
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement