diff options
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__ */ |