-extern void hv_support_init(void);
-extern int hv_get_support(void);
-extern void hv_set_task_target(void *target);
-extern void hv_set_thread_target(void *target);
-extern void *hv_get_task_target(void);
-extern void *hv_get_thread_target(void);
-extern int hv_get_volatile_state(hv_volatile_state_t state);
-extern kern_return_t hv_set_traps(hv_trap_type_t trap_type,
- const hv_trap_t *traps, unsigned trap_count);
-extern void hv_release_traps(hv_trap_type_t trap_type);
-extern kern_return_t hv_set_callbacks(hv_callbacks_t callbacks);
-extern void hv_release_callbacks(void);
-extern void hv_suspend(void);
-extern kern_return_t hv_task_trap(uint64_t index, uint64_t arg);
-extern kern_return_t hv_thread_trap(uint64_t index, uint64_t arg);