DPCPU_START
if (value < DPCPU_START || value >= DPCPU_STOP)
ef->pcpu_start = DPCPU_START;
ef->pcpu_base = DPCPU_START;
pcpu->pc_dynamic = (uintptr_t)dpcpu - DPCPU_START;
memcpy(dpcpu, (void *)DPCPU_START, DPCPU_BYTES);
(void *)(uintptr_t)(dpcpu_off[id] + DPCPU_START));
#define DPCPU_BYTES (DPCPU_STOP - DPCPU_START)