diff options
| author |   Rusty Russell <rusty@rustcorp.com.au> | 2009-06-12 22:27:00 -0600 |
|---|---|---|
| committer | Rusty Russell <rusty@rustcorp.com.au> | 2009-06-12 22:27:00 +0930 |
| commit | f7027c6387d0c3acf569845165ec7947e2083c82 (patch) | |
| tree | 306f36650d615491d468e040d7055b07053d2fb6 /scripts/patch-kernel | |
| parent | lguest: clean up lguest_init_IRQ (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 'scripts/patch-kernel')
0 files changed, 0 insertions, 0 deletions