| client | machine_config | |
| flags | l4vmm_config | |
| machine_config(const l4_threadid_t client=L4_INVALID_ID) | machine_config | |
| mode | l4vmm_config | |
| mode2string(const enum l4vmm_emulation_modes mode) | machine_config | [inline, static] |
| mode2string(void) const | machine_config | [inline] |
| phys_to_virt_func | l4vmm_config | |
| print(const char *header=nullptr) const | machine_config | |
| print_client(const char *header=nullptr) const | machine_config | |
| string | l4vmm_config | |
| update(const l4vmm_config &config) | machine_config | |
| update(const machine_config &config) | machine_config |