startprog32_start
void startprog32_start(physaddr_t, uint32_t, uint32_t *, physaddr_t,
CopyMem(startprog32, startprog32_start, startprog32_size);