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