Searched refs:pages_to_flush (Results 1 – 2 of 2) sorted by relevance
85 uint64_t *pages_to_flush; variable205 pages_to_flush = qemu_vmalloc(KQEMU_MAX_PAGES_TO_FLUSH * in kqemu_init()207 if (!pages_to_flush) in kqemu_init()228 kinit.pages_to_flush = pages_to_flush; in kqemu_init()259 pages_to_flush[nb_pages_to_flush++] = addr; in kqemu_flush_page()799 tlb_flush_page(env, pages_to_flush[i]); in kqemu_cpu_exec()
110 uint64_t *pages_to_flush; /* must be page aligned */