Searched refs:pdp_index (Results 1 – 2 of 2) sorted by relevance
153 uint32_t pdp_index; in get_pdp_entry_from_pdp_table() local156 pdp_index = (((uint64_t)vaddr >> PDP_SHIFT) & ((1ul << ADDR_OFFSET) - 1)); in get_pdp_entry_from_pdp_table()158 return X86_PHYS_TO_VIRT(pdpe[pdp_index]); in get_pdp_entry_from_pdp_table()415 uint32_t pdp_index; in update_pdp_entry() local418 pdp_index = (((uint64_t)vaddr >> PDP_SHIFT) & ((1ul << ADDR_OFFSET) - 1)); in update_pdp_entry()419 pdp_table[pdp_index] = m; in update_pdp_entry()420 pdp_table[pdp_index] |= X86_MMU_PG_P | X86_MMU_PG_RW; in update_pdp_entry()421 DEBUG_ASSERT(!(pdp_table[pdp_index] & X86_MMU_PG_PS)); in update_pdp_entry()422 pdp_table[pdp_index] |= X86_MMU_PG_U; /* set U flag on all inner entries */ in update_pdp_entry()424 pdp_table[pdp_index] |= X86_MMU_PG_G; /* setting global flag for kernel pages */ in update_pdp_entry()
54 uint32_t pdp_index; in get_pdp_entry_from_pdp_table() local57 pdp_index = ((vaddr >> PDP_SHIFT) & ((1ul << PDPT_ADDR_OFFSET) - 1)); in get_pdp_entry_from_pdp_table()59 return X86_PHYS_TO_VIRT(pdp_table[pdp_index]); in get_pdp_entry_from_pdp_table()273 uint32_t pdp_index; in update_pdp_entry() local276 pdp_index = ((vaddr >> PDP_SHIFT) & ((1ul << PDPT_ADDR_OFFSET) - 1)); in update_pdp_entry()277 pdp_table[pdp_index] = (map_addr_t)m; in update_pdp_entry()278 pdp_table[pdp_index] |= X86_MMU_PG_P; in update_pdp_entry()