Searched refs:find_spte (Results 1 - 1 of 1) sorted by relevance
| /linux-4.1.27/drivers/lguest/ |
| H A D | page_tables.c | 303 static pte_t *find_spte(struct lg_cpu *cpu, unsigned long vaddr, bool allocate, find_spte() function
499 spte = find_spte(cpu, vaddr, true, pgd_flags(gpgd), pmd_flags(gpmd)); demand_page()
561 spte = find_spte(cpu, vaddr, false, 0, 0); page_writable()
799 pte_t *pte = find_spte(cpu, switcher_addr + i * PAGE_SIZE, true, allocate_switcher_mapping()
1148 pte = find_spte(cpu, base, false, 0, 0); remove_switcher_percpu_map()
1152 pte = find_spte(cpu, base + PAGE_SIZE, false, 0, 0); remove_switcher_percpu_map()
1208 pte = find_spte(cpu, base, false, 0, 0); map_switcher_in_guest()
1218 pte = find_spte(cpu, base + PAGE_SIZE, false, 0, 0); map_switcher_in_guest()
|
Completed in 72 milliseconds