Searched refs:guest_set_pgd (Results 1 – 3 of 3) sorted by relevance
102 guest_set_pgd(cpu->lg, args->arg1, args->arg2); in do_hcall()
191 void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 i);
932 void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx) in guest_set_pgd() function