Searched refs:ptrs_per_4k_pte (Results 1 – 1 of 1) sorted by relevance
226 uint64_t ptrs_per_4k_pte = 512; in vm_create_default() local227 uint64_t extra_pg_pages = (extra_mem_pages / ptrs_per_4k_pte) * 2; in vm_create_default()