Searched refs:guest_new_pagetable (Results 1 – 3 of 3) sorted by relevance
88 guest_new_pagetable(cpu, args->arg1); in do_hcall()
190 void guest_new_pagetable(struct lg_cpu *cpu, unsigned long pgtable);
785 void guest_new_pagetable(struct lg_cpu *cpu, unsigned long pgtable) in guest_new_pagetable() function