#ifndef SYSTEM_RAM_ADDR_H
#define SYSTEM_RAM_ADDR_H
-#include "system/tcg.h"
-#include "exec/cputlb.h"
#include "exec/ramlist.h"
#include "system/ramblock.h"
#include "system/memory.h"
ram_addr_t start,
ram_addr_t pages);
-static inline void cpu_physical_memory_dirty_bits_cleared(ram_addr_t start,
- ram_addr_t length)
-{
- if (tcg_enabled()) {
- tlb_reset_dirty_range_all(start, length);
- }
+void cpu_physical_memory_dirty_bits_cleared(ram_addr_t start, ram_addr_t length);
-}
bool cpu_physical_memory_test_and_clear_dirty(ram_addr_t start,
ram_addr_t length,
unsigned client);
}
}
+void cpu_physical_memory_dirty_bits_cleared(ram_addr_t start, ram_addr_t length)
+{
+ if (tcg_enabled()) {
+ tlb_reset_dirty_range_all(start, length);
+ }
+}
+
static bool physical_memory_get_dirty(ram_addr_t start, ram_addr_t length,
unsigned client)
{