diff options
| author | Rusty Russell <rusty@rustcorp.com.au> | 2009-06-13 00:27:00 -0400 |
|---|---|---|
| committer | Rusty Russell <rusty@rustcorp.com.au> | 2009-06-12 08:57:00 -0400 |
| commit | f7027c6387d0c3acf569845165ec7947e2083c82 (patch) | |
| tree | 306f36650d615491d468e040d7055b07053d2fb6 /kernel/sched.c | |
| parent | 1028375e93a7aa4dbe466947d1c65f368b1f61c1 (diff) | |
lguest: get more serious about wmb() in example Launcher code
Since the Launcher process runs the Guest, it doesn't have to be very
serious about its barriers: the Guest isn't running while we are (Guest
is UP).
Before we change to use threads to service devices, we need to fix this.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
Diffstat (limited to 'kernel/sched.c')
0 files changed, 0 insertions, 0 deletions