Searched refs:high64_max_ram (Results 1 – 1 of 1) sorted by relevance
254 uint64_t high64_max_ram = MEM_4G; in init_paging() local277 high64_max_ram = max(end, high64_max_ram); in init_paging()283 high64_max_ram = round_pde_down(high64_max_ram); in init_paging()289 if (high64_max_ram > high64_min_ram) { in init_paging()291 high64_max_ram - high64_min_ram, PAGE_ATTR_USER | PAGE_CACHE_WB, &ppt_pgtable); in init_paging()
Completed in 3 milliseconds