#include <types.h>


Public Attributes | |
| unsigned | flags |
| Flags, configuring the library. | |
| enum l4vmm_emulation_modes | mode |
| The type of code to be emulated. | |
| const char * | string |
| Configuration string or file name. | |
| L4_CV l4_addr_t(* | phys_to_virt_func )(l4_addr_t) |
| Pointer to a function doing physical address to virtual address lookups. | |
This structure is used to group all parameters for the l4vmm_init call together.
| unsigned l4vmm_config::flags |
Flags, configuring the library.
See l4vmm_config_flags_constants for further explanation.
Referenced by machine_config::update().
| enum l4vmm_emulation_modes l4vmm_config::mode |
The type of code to be emulated.
See l4vmm_set_emulation_mode for further explanation.
Referenced by machine_config::machine_config(), machine_config::mode2string(), machine_config::print(), machine_config::print_client(), and machine_config::update().
| const char* l4vmm_config::string |
Configuration string or file name.
It is interpreted directly as configuration, if L4VMM_INIT_STRING_DATA is set or specifies the configuration file's name, if L4VMM_INIT_STRING_FILE is set. If neither flag is given, its value will be ignored.
Referenced by machine_config::update().
| L4_CV l4_addr_t(* l4vmm_config::phys_to_virt_func)(l4_addr_t) |
Pointer to a function doing physical address to virtual address lookups.
If this member is NULL, a slow (but complete) address space search algorithm is used.
Referenced by machine_config::machine_config(), machine_config::print(), machine_config::print_client(), and machine_config::update().