Home
last modified time | relevance | path

Searched refs:guest_set_pgd (Results 1 – 3 of 3) sorted by relevance

/drivers/lguest/
Dhypercalls.c102 guest_set_pgd(cpu->lg, args->arg1, args->arg2); in do_hcall()
Dlg.h191 void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 i);
Dpage_tables.c932 void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx) in guest_set_pgd() function