Searched refs:round_pde_down (Results 1 – 2 of 2) sorted by relevance
206 base_aligned = round_pde_down(base); in set_paging_supervisor()216 uint64_t base_aligned = round_pde_down(base); in set_paging_nx()226 uint64_t base_aligned = round_pde_down(base); in set_paging_x()283 high64_max_ram = round_pde_down(high64_max_ram); in init_paging()317 pgtable_modify_or_del_map((uint64_t *)ppt_mmu_pml4_addr, round_pde_down(hv_hva), in init_paging()318 round_pde_up((uint64_t)&ld_text_end) - round_pde_down(hv_hva), 0UL, in init_paging()
118 static inline uint64_t round_pde_down(uint64_t val) in round_pde_down() function
Completed in 3 milliseconds