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