static void invalidate_and_set_dirty(hwaddr addr,

                                     hwaddr length)

{

    if (cpu_physical_memory_range_includes_clean(addr, length)) {

        tb_invalidate_phys_range(addr, addr + length, 0);

        cpu_physical_memory_set_dirty_range_nocode(addr, length);

    }

    xen_modified_memory(addr, length);

}

static void invalidate_and_set_dirty(hwaddr addr,

                                     hwaddr length)

{

    if (cpu_physical_memory_range_includes_clean(addr, length)) {

        tb_invalidate_phys_range(addr, addr + length, 0);

        cpu_physical_memory_set_dirty_range_nocode(addr, length);

    }

    xen_modified_memory(addr, length);

}

static void FUNC_0(hwaddr VAR_0,

                                     hwaddr VAR_1)

{

    if (cpu_physical_memory_range_includes_clean(VAR_0, VAR_1)) {

        tb_invalidate_phys_range(VAR_0, VAR_0 + VAR_1, 0);

        cpu_physical_memory_set_dirty_range_nocode(VAR_0, VAR_1);

    }

    xen_modified_memory(VAR_0, VAR_1);

}

static void FUNC_0(hwaddr VAR_0,
hwaddr VAR_1)
{ if (cpu_physical_memory_range_includes_clean(VAR_0, VAR_1)) { tb_invalidate_phys_range(VAR_0, VAR_0 + VAR_1, 0); cpu_physical_memory_set_dirty_range_nocode(VAR_0, VAR_1); } xen_modified_memory(VAR_0, VAR_1); }