97 static pmd_t *spmd_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr)  in spmd_addr()  argument
103 	BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT));  in spmd_addr()
104 	page = __va(pgd_pfn(spgd) << PAGE_SHIFT);  in spmd_addr()
115 static pte_t *spte_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr)  in spte_addr()  argument
118 	pmd_t *pmd = spmd_addr(cpu, spgd, vaddr);  in spte_addr()
124 	pte_t *page = __va(pgd_pfn(spgd) << PAGE_SHIFT);  in spte_addr()
126 	BUG_ON(!(pgd_flags(spgd) & _PAGE_PRESENT));  in spte_addr()
306 	pgd_t *spgd;  in find_spte()  local
313 	spgd = spgd_addr(cpu, cpu->cpu_pgd, vaddr);  in find_spte()
314 	if (!(pgd_flags(*spgd) & _PAGE_PRESENT)) {  in find_spte()
335 		set_pgd(spgd, __pgd(__pa(ptepage) | pgd_flags));  in find_spte()
344 	spmd = spmd_addr(cpu, *spgd, vaddr);  in find_spte()
374 	return spte_addr(cpu, *spgd, vaddr);  in find_spte()
604 static void release_pgd(pgd_t *spgd)  in release_pgd()  argument
607 	if (pgd_flags(*spgd) & _PAGE_PRESENT) {  in release_pgd()
609 		pmd_t *pmdpage = __va(pgd_pfn(*spgd) << PAGE_SHIFT);  in release_pgd()
617 		set_pgd(spgd, __pgd(0));  in release_pgd()
627 static void release_pgd(pgd_t *spgd)  in release_pgd()  argument
630 	if (pgd_flags(*spgd) & _PAGE_PRESENT) {  in release_pgd()
637 		pte_t *ptepage = __va(pgd_pfn(*spgd) << PAGE_SHIFT);  in release_pgd()
644 		*spgd = __pgd(0);  in release_pgd()
936 	pgd_t *spgd = spgd_addr(cpu, idx, vaddr);  in __guest_set_pte()  local
942 	if (pgd_flags(*spgd) & _PAGE_PRESENT) {  in __guest_set_pte()
944 		spmd = spmd_addr(cpu, *spgd, vaddr);  in __guest_set_pte()
948 			pte_t *spte = spte_addr(cpu, *spgd, vaddr);  in __guest_set_pte()