diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2007-11-24 13:29:20 +0000 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2007-11-24 13:29:20 +0000 |
commit | 26aa688655105f22dc67bb98c5def9a2fb1209e3 (patch) | |
tree | 37ad75ea8a6ef84970928a26c2449071cc8e8d52 /extras/mini-os/include/hypervisor.h | |
parent | cf64298141ead63b0b72fdee091d62f1148e89e1 (diff) | |
download | xen-26aa688655105f22dc67bb98c5def9a2fb1209e3.tar.gz xen-26aa688655105f22dc67bb98c5def9a2fb1209e3.tar.bz2 xen-26aa688655105f22dc67bb98c5def9a2fb1209e3.zip |
[Mini-OS] Make sure schedule() is called safely
If a thread tries to sleep from a callback or with callbacks disabled,
Mini-OS will completely lock, so make sure this never happens.
Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>
Diffstat (limited to 'extras/mini-os/include/hypervisor.h')
-rw-r--r-- | extras/mini-os/include/hypervisor.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extras/mini-os/include/hypervisor.h b/extras/mini-os/include/hypervisor.h index 1b7ea72ac3..e06f54bdef 100644 --- a/extras/mini-os/include/hypervisor.h +++ b/extras/mini-os/include/hypervisor.h @@ -42,4 +42,6 @@ void mask_evtchn(u32 port); void unmask_evtchn(u32 port); void clear_evtchn(u32 port); +extern int in_callback; + #endif /* __HYPERVISOR_H__ */ |