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