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

/barrelfish-master/kernel/arch/x86_32/
H A Dpaging.c48 static inline void mapit(union x86_32_pdpte_entry *pdpte_base, argument
52 if(!X86_32_IS_PRESENT(pdpte_base)) {
53 paging_x86_32_map_pdpte(pdpte_base,
164 union x86_32_pdpte_entry *pdpte_base = &pdpte[X86_32_PDPTE_BASE(vaddr)]; local
185 mapit(pdpte_base, pdir_base, addr, bitmap);
235 union x86_32_pdpte_entry *pdpte_base = &pdpte[X86_32_PDPTE_BASE(vaddr)]; local
242 mapit(pdpte_base, pdir_base, addr, bitmap);
H A Dstartup_arch.c353 union x86_32_pdpte_entry *pdpte_base = local
363 paging_x86_32_map_pdpte(pdpte_base, mem_to_local_phys((lvaddr_t)pdir_base));

Completed in 33 milliseconds