- m -

• make_vcpu() : vcpu_factory
• map_1g() : root_page_table_x64
• map_2m() : root_page_table_x64
• map_4k() : root_page_table_x64
• max_num_registers() : register_state , register_state_intel_x64
• mem_pool() : mem_pool< total_size, block_shift >
• memory_manager_ut() : memory_manager_ut
• memory_manager_x64() : memory_manager_x64
• misc_ut() : misc_ut
• modules() : command_line_parser