Searched refs:get_max_mapped (Results 1 – 3 of 3) sorted by relevance
1038 end = PAGE_OFFSET + get_max_mapped(); in tdx_kexec_finish()
1144 memblock_set_current_limit(get_max_mapped()); in setup_arch()
691 end = PAGE_OFFSET + get_max_mapped(); in unshare_all_memory()