api/vmm.h
00001 #if !defined(__L4VMM_INCLUDE_API_VMM_H__)
00002 #define __L4VMM_INCLUDE_API_VMM_H__
00003
00004
00005
00006
00007 #include <l4/sys/utcb.h>
00008
00009
00010
00011
00012 #include <l4/vmm/types.h>
00013
00014 EXTERN_C_BEGIN
00015
00024 L4_CV int l4vmm_init(const l4vmm_config_t *config);
00025
00033 L4_CV void l4vmm_finalize(void);
00034
00046 L4_CV int l4vmm_set_emulation_mode(enum l4vmm_emulation_modes mode);
00047
00065 L4_CV int l4vmm_can_handle_fault(l4_umword_t dw0, l4_umword_t dw1, l4_msgtag_t tag);
00066
00083 L4_CV int l4vmm_handle_exception(l4_utcb_t *utcb);
00084
00085 EXTERN_C_END
00086
00087 #endif
00088
00089
00090