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

/linux-4.1.27/drivers/lguest/
H A Dpage_tables.c97 static pmd_t *spmd_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr) spmd_addr() function
118 pmd_t *pmd = spmd_addr(cpu, spgd, vaddr); spte_addr()
344 spmd = spmd_addr(cpu, *spgd, vaddr); find_spte()
944 spmd = spmd_addr(cpu, *spgd, vaddr); __guest_set_pte()

Completed in 65 milliseconds