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

/linux-4.1.27/drivers/lguest/
H A Dpage_tables.c115 static pte_t *spte_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr) spte_addr() function
374 return spte_addr(cpu, *spgd, vaddr); find_spte()
948 pte_t *spte = spte_addr(cpu, *spgd, vaddr); __guest_set_pte()

Completed in 74 milliseconds