9c0d032e8b
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/* * $Id$ */ #include <rtems/score/idtcpu.h> extern void resettlb( int i ); void init_tlb(void) { int i; for (i = 0; i < N_TLB_ENTRIES; i++ ) resettlb(i); }