1648 |
#ifdef DEBUG_MPROTECT |
#ifdef DEBUG_MPROTECT |
1649 |
printf("fault:0x%x [%d] (%d) ",faddr,page(faddr),faddr >= core_end); |
printf("fault:0x%x [%d] (%d) ",faddr,page(faddr),faddr >= core_end); |
1650 |
#endif |
#endif |
1651 |
if (faddr >= core_end || (unsigned long)faddr < DBEGIN) { |
/* if (faddr >= core_end || (unsigned long)faddr < DBEGIN) { */ |
1652 |
if (fault_count > 300) error("fault count too high"); |
/* if (fault_count > 300) error("fault count too high"); */ |
1653 |
fault_count ++; |
/* fault_count ++; */ |
1654 |
INSTALL_MPROTECT_HANDLER; |
/* INSTALL_MPROTECT_HANDLER; */ |
1655 |
return; |
/* return; */ |
1656 |
} |
/* } */ |
1657 |
#else |
#else |
1658 |
faddr = addr; |
faddr = addr; |
1659 |
#endif |
#endif |