/* We also throw away everything when a Guest tells us it's changed a kernel mapping. Since kernel mappings are in every page table, it's easiest to throw them all away. This traps the Guest in amber for a while as everything faults back in, but it's rare.  */
void guest_pagetable_clear_all(struct lg_cpu *cpu)
/* We also throw away everything when a Guest tells us it's changed a kernel mapping. Since kernel mappings are in every page table, it's easiest to throw them all away. This traps the Guest in amber for a while as everything faults back in, but it's rare.  */
void guest_pagetable_clear_all(struct lg_cpu *cpu)
{
	release_all_pagetables(cpu->lg);
	pin_stack_pages(cpu);
}