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