Lines Matching refs:pte
61 paddr_t paddr_from_pte(PageTableLevel level, pt_entry_t pte) {
62 DEBUG_ASSERT(IS_PAGE_PRESENT(pte));
67 pa = (pte & X86_HUGE_PAGE_FRAME);
70 pa = (pte & X86_LARGE_PAGE_FRAME);
73 pa = (pte & X86_PG_FRAME);
258 volatile pt_entry_t* pte, paddr_t paddr, PtFlags flags,
260 DEBUG_ASSERT(pte);
263 pt_entry_t olde = *pte;
266 *pte = paddr | flags | X86_MMU_PG_P;
267 cm->cache_line_flusher()->FlushPtEntry(pte);
278 volatile pt_entry_t* pte, bool was_terminal) {
279 DEBUG_ASSERT(pte);
281 pt_entry_t olde = *pte;
283 *pte = 0;
284 cm->cache_line_flusher()->FlushPtEntry(pte);
318 volatile pt_entry_t* pte, ConsistencyManager* cm) {
320 LTRACEF_LEVEL(2, "splitting table %p at level %d\n", pte, level);
322 DEBUG_ASSERT(IS_PAGE_PRESENT(*pte) && IS_LARGE_PAGE(*pte));
328 paddr_t paddr_base = paddr_from_pte(level, *pte);
329 PtFlags flags = split_flags(level, *pte & X86_LARGE_FLAGS_MASK);
347 UpdateEntry(cm, level, vaddr, pte, X86_VIRT_TO_PHYS(m), flags, true /* was_terminal */);