PHYS_TO_CKSEG0
(uint64_t *)PHYS_TO_CKSEG0(marks[MARK_END]));
#define INITRD_BASE PHYS_TO_CKSEG0(0x04000000)
(caddr_t)PHYS_TO_CKSEG0(maxp),
memcpy((caddr_t)PHYS_TO_CKSEG0(elfp), &eh, sizeof(eh));
memcpy((caddr_t)PHYS_TO_CKSEG0(shp), sh, shsize);
*(int32_t *)PHYS_TO_CKSEG0(ekern) = PHYS_TO_CKSEG0(elfp);
*((int32_t *)PHYS_TO_CKSEG0(ekern) + 1) = PHYS_TO_CKSEG0(maxp);
memcpy((caddr_t)PHYS_TO_CKSEG0(maxp), argbuf, argptr - argbuf);
*bshp = PHYS_TO_CKSEG0(offs);
PHYS_TO_CKSEG0(blockaddr) < (vaddr_t)start) {