__START_KERNEL_map
map = delta - __START_KERNEL_map;
phys_base = load_delta = __START_KERNEL_map + p2v_offset;
pgd[pgd_index(__START_KERNEL_map)] += load_delta;
pgd[pgd_index(__START_KERNEL_map)] = (pgdval_t)p4d | _PAGE_TABLE;
unsigned long y = x - __START_KERNEL_map;
x = y + (__START_KERNEL_map - PAGE_OFFSET);
unsigned long y = x - __START_KERNEL_map;
x = y + ((x > y) ? phys_base : (__START_KERNEL_map - PAGE_OFFSET));
unsigned long y = x - __START_KERNEL_map;
#define __START_KERNEL (__START_KERNEL_map + LOAD_PHYSICAL_ADDR)
L4_START_KERNEL = l4_index(__START_KERNEL_map)
L3_START_KERNEL = pud_index(__START_KERNEL_map)
#define MODULES_VADDR (__START_KERNEL_map + KERNEL_IMAGE_SIZE)
info.offset = __START_KERNEL_map - phys_base;
p4d_p = (p4dval_t *)((pgd & PTE_PFN_MASK) + __START_KERNEL_map - phys_base);
*pgd_p = (pgdval_t)p4d_p - __START_KERNEL_map + phys_base + _KERNPG_TABLE;
pud_p = (pudval_t *)((p4d & PTE_PFN_MASK) + __START_KERNEL_map - phys_base);
*p4d_p = (p4dval_t)pud_p - __START_KERNEL_map + phys_base + _KERNPG_TABLE;
pmd_p = (pmdval_t *)((pud & PTE_PFN_MASK) + __START_KERNEL_map - phys_base);
*pud_p = (pudval_t)pmd_p - __START_KERNEL_map + phys_base + _KERNPG_TABLE;
BUILD_BUG_ON(MODULES_VADDR < __START_KERNEL_map);
BUILD_BUG_ON(MODULES_VADDR - __START_KERNEL_map < KERNEL_IMAGE_SIZE);
BUILD_BUG_ON((__START_KERNEL_map & ~PMD_MASK) != 0);
__START_KERNEL_map,
[HIGH_KERNEL_NR] = { __START_KERNEL_map, "High Kernel Mapping" },
unsigned long vaddr = __START_KERNEL_map;
unsigned long vaddr_end = __START_KERNEL_map + KERNEL_IMAGE_SIZE;
vaddr_end = __START_KERNEL_map + (max_pfn_mapped << PAGE_SHIFT);
p4d += __START_KERNEL_map - phys_base;
kasan_mem_to_shadow((void *)__START_KERNEL_map));
BUILD_BUG_ON(vaddr_end > __START_KERNEL_map);
__START_KERNEL_map - phys_base;
unsigned long y = x - __START_KERNEL_map;
x = y + (__START_KERNEL_map - PAGE_OFFSET);
unsigned long y = x - __START_KERNEL_map;
x = y + (__START_KERNEL_map - PAGE_OFFSET);
if (addr >= __START_KERNEL_map) {
if (xen_start_info->mfn_list < __START_KERNEL_map &&
return (void *)(paddr + __START_KERNEL_map);
if (xen_start_info->mfn_list < __START_KERNEL_map)
init_top_pgt[pgd_index(__START_KERNEL_map)].pgd =
l3 = m2v(pgd[pgd_index(__START_KERNEL_map)].pgd);
l2 = m2v(l3[pud_index(__START_KERNEL_map)].pud);
if (i && i < pgd_index(__START_KERNEL_map))
if (xen_start_info->mfn_list < __START_KERNEL_map) {
if (xen_start_info->mfn_list >= __START_KERNEL_map) {