KERNTEXTOFF
bootspace.head.va = KERNTEXTOFF;
bootspace.head.pa = KERNTEXTOFF - KERNBASE;
bootspace.segs[i].va = KERNTEXTOFF;
bootspace.segs[i].pa = KERNTEXTOFF - KERNBASE;
bootspace.segs[i].sz = (size_t)&__rodata_start - KERNTEXTOFF;
pmap_pa_start = (KERNTEXTOFF - KERNBASE);
bootspace.head.va = KERNTEXTOFF;
bootspace.head.pa = KERNTEXTOFF - KERNBASE;
bootspace.segs[i].va = KERNTEXTOFF;
bootspace.segs[i].pa = KERNTEXTOFF - KERNBASE;
bootspace.segs[i].sz = (size_t)&__rodata_start - KERNTEXTOFF;
pmap_pa_start = (KERNTEXTOFF - KERNBASE);
mapsize = xen_tables - KERNTEXTOFF;
while (KERNTEXTOFF + mapsize + (nL2 + PDIRSZ) * PAGE_SIZE >
L4cpu[pl4_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W;
L4[pl4_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W;
L3[pl3_pi(KERNTEXTOFF)] = xpmap_ptom_masked(addr) | PTE_P | PTE_W;
page = KERNTEXTOFF;