ph->p_paddr = ph->p_vaddr;
                        if (s1->text_addr == 0x80100000)
                            ph->p_paddr = ph->p_paddr - 0x80000000;