Searched refs:PDE_SIZE (Results 1 – 8 of 8) sorted by relevance
118 paddrinc = PDE_SIZE; in split_large_page()224 uint64_t vaddr_next = (vaddr & PDE_MASK) + PDE_SIZE; in modify_or_del_pde()232 if ((vaddr_next > vaddr_end) || (!mem_aligned_check(vaddr, PDE_SIZE))) { in modify_or_del_pde()428 uint64_t vaddr_next = (vaddr & PDE_MASK) + PDE_SIZE; in add_pde()435 mem_aligned_check(paddr, PDE_SIZE) && in add_pde()436 mem_aligned_check(vaddr, PDE_SIZE) && in add_pde()730 *pg_size = PDE_SIZE; in pgtable_lookup_entry()
310 get_hv_image_size() + (((hv_hva & (PDE_SIZE - 1UL)) != 0UL) ? PDE_SIZE : 0UL), in init_paging()
80 #define PT_PAGE_NUM(size) (((size) + PDE_SIZE - 1UL) >> PDE_SHIFT)
143 #define PDE_SIZE (1UL << PDE_SHIFT) macro144 #define PDE_MASK (~(PDE_SIZE - 1UL))
115 return (((val + (uint64_t)PDE_SIZE) - 1UL) & PDE_MASK); in round_pde_up()
165 set_paging_supervisor((uint64_t)mmio_base_va, PDE_SIZE); in uart16550_init()
455 cb(pde, PDE_SIZE); in walk_ept_table()
110 addr = e820_alloc_memory(roundup(IVSHMEM_SHM_SIZE, PDE_SIZE), MEM_SIZE_MAX); in init_ivshmem_shared_memory()
Completed in 13 milliseconds