@@ -175,13 +175,10 @@ static void hax_process_section(MemoryRegionSection *section, uint8_t flags)
uint64_t host_va;
uint32_t max_mapping_size;
- /* We only care about RAM and ROM regions */
- if (!memory_region_is_ram(mr)) {
- if (memory_region_is_romd(mr)) {
- /* HAXM kernel module does not support ROMD yet */
- warn_report("Ignoring ROMD region 0x%016" PRIx64 "->0x%016" PRIx64,
- start_pa, start_pa + size);
- }
+ /* We only care about RAM/ROM regions and ROM device */
+ if (memory_region_is_rom(mr) || (memory_region_is_romd(mr))) {
+ flags |= HAX_RAM_INFO_ROM;
+ } else if (!memory_region_is_ram(mr)) {
return;
}