KERNVIRTADDR
phdr.p_vaddr = KERNVIRTADDR;
phdr.p_paddr = pmap_kextract(KERNVIRTADDR);
ASSYM(KERNVIRTADDR, KERNVIRTADDR);
lastaddr = parse_boot_param(abp) - KERNVIRTADDR + arm_physmem_kernaddr;
fake_preload[i++] = KERNVIRTADDR;
fake_preload[i++] = (uint32_t)&end - KERNVIRTADDR;
((vm_offset_t)((pa) - arm_physmem_kernaddr + KERNVIRTADDR))
((vm_paddr_t)((va) - KERNVIRTADDR + arm_physmem_kernaddr))
#ifndef KERNVIRTADDR