Searched refs:startkernel (Results 1 – 5 of 5) sorted by relevance
106 hdr->startkernel = be64toh(hdr->startkernel); in _powerpc64_minidump_initvtop()112 vmst->kimg_end = PPC64_KERNBASE + hdr->endkernel - hdr->startkernel; in _powerpc64_minidump_initvtop()126 hdr->hw_direct_map, hdr->startkernel, hdr->endkernel, in _powerpc64_minidump_initvtop()190 return (kd->vmst->hdr.startkernel - PPC64_KERNBASE); in _powerpc64_kerndisp()
468 va += hdr->startkernel - PPC64_KERNBASE; in ppc64mmu_hpt_kvatop()
265 vm_offset_t startkernel, endkernel; in powerpc_init() local276 startkernel = __startkernel; in powerpc_init()437 __syncicache((caddr_t)startkernel, endkernel - startkernel); in powerpc_init()470 pmap_bootstrap(startkernel, endkernel); in powerpc_init()
241 mdhdr.startkernel = __startkernel; in cpu_minidumpsys()
47 uint64_t startkernel; member