hpmc_tramp
extern uint32_t hpmc_v[], hpmc_tramp[], hpmc_tramp_end[];
for (p = hpmc_tramp; p < hpmc_tramp_end; p++)
p[6] = (uint32_t)&hpmc_tramp;
p[7] = (hpmc_tramp_end - hpmc_tramp) * sizeof(uint32_t);