Re: [PATCH 09/25] xen: Account for time stolen by Xen

Andi Kleen
2007-04-25T09:17:28Z

> +
> + do {
> + state_time = state->state_entry_time;
> + barrier();

Should be likely rmb

-Andi