PTR_TO_CKSEG1
newargv[0] = PTR_TO_CKSEG1(arg);
newargv[1] = PTR_TO_CKSEG1(&pmon_bootdev);
newargv[2] = PTR_TO_CKSEG1(&kernelflags);
(*(program)(marks[MARK_ENTRY]))(newargc, PTR_TO_CKSEG1(newargv),