dpcpu_alloc
ef->pcpu_base = (Elf_Addr)(uintptr_t)dpcpu_alloc(size);
dpcpu_alloc(shdr[i].sh_size);
dpcpu = dpcpu_alloc(shdr[i].sh_size);
void *dpcpu_alloc(int size);