fixup_pv_table
extern void fixup_pv_table(const void *, unsigned long);
extern void fixup_pv_table(const void *, unsigned long);
fixup_pv_table((void *)s->sh_addr, s->sh_size);
fixup_pv_table(&__pv_table_begin,