fixup_smp
extern void fixup_smp(const void *, unsigned long);
fixup_smp((void *)s->sh_addr, s->sh_size);