lpad_setup
lpp = lpad_setup(cpuid, (uint64_t)pc, (uint64_t)arg);
extern uint64_t *lpad_setup(int cpuid, uint64_t pc, uint64_t arg);