Searched refs:guest_set_pte (Results 1 – 3 of 3) sorted by relevance
95 guest_set_pte(cpu, args->arg1, args->arg2, in do_hcall()98 guest_set_pte(cpu, args->arg1, args->arg2, __pte(args->arg3)); in do_hcall()
192 void guest_set_pte(struct lg_cpu *cpu, unsigned long gpgdir,
989 void guest_set_pte(struct lg_cpu *cpu, in guest_set_pte() function