Searched refs:__PAGE_OFFSET_BASE_L4 (Results 1 – 5 of 5) sorted by relevance
42 #define __PAGE_OFFSET_BASE_L4 _AC(0xffff888000000000, UL) macro
274 L4_PAGE_OFFSET = l4_index(__PAGE_OFFSET_BASE_L4)
88 vaddr_start = pgtable_l5_enabled() ? __PAGE_OFFSET_BASE_L5 : __PAGE_OFFSET_BASE_L4; in kernel_randomize_memory()
63 unsigned long page_offset_base __ro_after_init = __PAGE_OFFSET_BASE_L4;
1783 init_top_pgt[pgd_index(__PAGE_OFFSET_BASE_L4)].pgd = in xen_setup_kernel_pagetable()