Searched refs:guest_pagetable_flush_user (Results 1 – 3 of 3) sorted by relevance
80 guest_pagetable_flush_user(cpu); in do_hcall()
191 void guest_pagetable_flush_user(struct lg_cpu *cpu);
668 void guest_pagetable_flush_user(struct lg_cpu *cpu) in guest_pagetable_flush_user() function