Searched refs:check_gpte (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/drivers/lguest/
H A Dpage_tables.c263 static bool check_gpte(struct lg_cpu *cpu, pte_t gpte) check_gpte() function
490 if (!check_gpte(cpu, gpte)) demand_page()
959 if (!check_gpte(cpu, gpte)) __guest_set_pte()

Completed in 62 milliseconds