/trunk/kernel/arch/ppc32/src/mm/tlb.c |
---|
95,7 → 95,6 |
*pfrc = rc; |
return NULL; |
case AS_PF_FAULT: |
printf("Page fault.\n"); |
page_table_lock(as, lock); |
*pfrc = rc; |
return NULL; |
/trunk/kernel/arch/mips32/src/mm/tlb.c |
---|
429,7 → 429,6 |
break; |
case AS_PF_FAULT: |
page_table_lock(AS, true); |
printf("Page fault.\n"); |
*pfrc = AS_PF_FAULT; |
return NULL; |
break; |