Searched refs:repin (Results 1 – 1 of 1) sorted by relevance
869 int newpgdir, repin = 0; in guest_new_pagetable() local890 newpgdir = new_pgdir(cpu, pgtable, &repin); in guest_new_pagetable()897 if (repin) in guest_new_pagetable()