Searched refs:low32_max_ram (Results 1 – 1 of 1) sorted by relevance
252 uint64_t low32_max_ram = 0UL; in init_paging() local274 low32_max_ram = max(end, low32_max_ram); in init_paging()282 low32_max_ram = round_pde_up(low32_max_ram); in init_paging()287 low32_max_ram, PAGE_ATTR_USER | PAGE_CACHE_WB, &ppt_pgtable); in init_paging()294 pgtable_add_map((uint64_t *)ppt_mmu_pml4_addr, low32_max_ram, low32_max_ram, in init_paging()295 MEM_4G - low32_max_ram, PAGE_ATTR_USER | PAGE_CACHE_UC, &ppt_pgtable); in init_paging()
Completed in 4 milliseconds