Diff for /np2/i386c/ia32/paging.c between versions 1.3 and 1.10

version 1.3, 2004/01/13 16:37:42 version 1.10, 2004/02/04 13:24:35
Line 32 Line 32
 #include "ia32.mcr"  #include "ia32.mcr"
   
 /*  /*
  * ページ・ディレクトリ・エントリ (4K バイトページ使用時)  
  *  
  *  31                                    12 11   9 8  7 6 5  4   3   2   1  0   
  * +----------------------------------------+------+-+--+-+-+---+---+---+---+-+  
  * |   ページ・テーブルのベース・アドレス   |使用可|G|PS|0|A|PCD|PWT|U/S|R/W|P|  
  * +----------------------------------------+------+-+--+-+-+---+---+---+---+-+  
  *                                              |   |  | | |  |   |   |   |  |  
  * 9-11: システム・プログラマが使用可能 --------+   |  | | |  |   |   |   |  |  
  *    8: グローバル・ページ(無視される) ------------+  | | |  |   |   |   |  |  
  *    7: ページ・サイズ (0 = 4k バイトページ) ---------+ | |  |   |   |   |  |  
  *    6: 予約 (0) ---------------------------------------+ |  |   |   |   |  |  
  *    5: アクセス -----------------------------------------+  |   |   |   |  |  
  *    4: キャッシュ無効 --------------------------------------+   |   |   |  |  
  *    3: ライトスルー --------------------------------------------+   |   |  |  
  *    2: ユーザ/スーパバイザ (0 = スーパバイザ) ---------------------+   |  |  
  *    1: 読み取り/書き込み (0 = 読み取りのみ) ---------------------------+  |  
  *    0: ページ存在 ---------------------------------------------------------+  
  */  
 #define CPU_PDE_BASEADDR_MASK   0xfffff000  
 #define CPU_PDE_PAGE_SIZE       (1 << 7)  
 #define CPU_PDE_ACCESS          (1 << 5)  
 #define CPU_PDE_CACHE_DISABLE   (1 << 4)  
 #define CPU_PDE_WRITE_THROUGH   (1 << 3)  
 #define CPU_PDE_USER_MODE       (1 << 2)  
 #define CPU_PDE_WRITABLE        (1 << 1)  
 #define CPU_PDE_PRESENT         (1 << 0)  
   
 /*  
  * ページ・ディレクトリ・エントリ (4M バイトページ使用時)  
  *   
  *  31                        22 21       12 11   9 8  7 6 5  4   3   2   1  0   
  * +----------------------------+-----------+------+-+--+-+-+---+---+---+---+-+  
  * |ページテーブルの物理アドレス|  予約済み |使用可|G|PS|D|A|PCD|PWT|U/S|R/W|P|  
  * +----------------------------+-----------+------+-+--+-+-+---+---+---+---+-+  
  *                                              |   |  | | |  |   |   |   |  |  
  * 9-11: システム・プログラマが使用可能 --------+   |  | | |  |   |   |   |  |  
  *    8: グローバル・ページ ------------------------+  | | |  |   |   |   |  |  
  *    7: ページ・サイズ (1 = 4M バイトページ) ---------+ | |  |   |   |   |  |  
  *    6: ダーティ ---------------------------------------+ |  |   |   |   |  |  
  *    5: アクセス -----------------------------------------+  |   |   |   |  |  
  *    4: キャッシュ無効 --------------------------------------+   |   |   |  |  
  *    3: ライトスルー --------------------------------------------+   |   |  |  
  *    2: ユーザ/スーパバイザ (0 = スーパバイザ) ---------------------+   |  |  
  *    1: 読み取り/書き込み (0 = 読み取りのみ) ---------------------------+  |  
  *    0: ページ存在 ---------------------------------------------------------+  
  */  
 #define CPU_PDE_4M_BASEADDR_MASK        0xffc00000  
 #define CPU_PDE_4M_GLOBAL_PAGE          (1 << 8)  
 #define CPU_PDE_4M_PAGE_SIZE            (1 << 7)  
 #define CPU_PDE_4M_DIRTY                (1 << 6)  
 #define CPU_PDE_4M_ACCESS               (1 << 5)  
 #define CPU_PDE_4M_CACHE_DISABLE        (1 << 4)  
 #define CPU_PDE_4M_WRITE_THROUGH        (1 << 3)  
 #define CPU_PDE_4M_USER_MODE            (1 << 2)  
 #define CPU_PDE_4M_WRITABLE             (1 << 1)  
 #define CPU_PDE_4M_PRESENT              (1 << 0)  
   
 /*  
  * ページ・テーブル・エントリ (4k バイト・ページ)  
  *  
  *  31                                    12 11   9 8 7 6 5  4   3   2   1  0   
  * +----------------------------------------+------+-+-+-+-+---+---+---+---+-+  
  * |        ページのベース・アドレス        |使用可|G|0|D|A|PCD|PWT|U/S|R/W|P|  
  * +----------------------------------------+------+-+-+-+-+---+---+---+---+-+  
  *                                              |   | | | |  |   |   |   |  |  
  *  9-11: システム・プログラマが使用可能 -------+   | | | |  |   |   |   |  |  
  *     8: グローバル・ページ -----------------------+ | | |  |   |   |   |  |  
  *     7: 予約 (0) -----------------------------------+ | |  |   |   |   |  |  
  *     6: ダーティ -------------------------------------+ |  |   |   |   |  |  
  *     5: アクセス ---------------------------------------+  |   |   |   |  |  
  *     4: キャッシュ無効 ------------------------------------+   |   |   |  |  
  *     3: ライトスルー ------------------------------------------+   |   |  |  
  *     2: ユーザ/スーパバイザ (0 = スーパバイザ) -------------------+   |  |  
  *     1: 読み取り/書き込み (0 = 読み取りのみ) -------------------------+  |  
  *     0: ページ存在 -------------------------------------------------------+  
  */  
 #define CPU_PTE_BASEADDR_MASK   0xfffff000  
 #define CPU_PTE_GLOBAL_PAGE     (1 << 8)  
 #define CPU_PTE_DIRTY           (1 << 6)  
 #define CPU_PTE_ACCESS          (1 << 5)  
 #define CPU_PTE_CACHE_DISABLE   (1 << 4)  
 #define CPU_PTE_WRITE_THROUGH   (1 << 3)  
 #define CPU_PTE_USER_MODE       (1 << 2)  
 #define CPU_PTE_WRITABLE        (1 << 1)  
 #define CPU_PTE_PRESENT         (1 << 0)  
   
 /*  
  * ページフォルト例外   * ページフォルト例外
  *   *
  * 4-31: 予約済み   * 4-31: 予約済み
Line 199 Line 112
  * +-----+-----------+-----+-----+---+   * +-----+-----------+-----+-----+---+
  */   */
 #if !defined(USE_PAGE_ACCESS_TABLE)  #if !defined(USE_PAGE_ACCESS_TABLE)
 static const DWORD page_access = 0xd0cdd0ff;  #define page_access     0xd0ddd0ff
 #else   /* USE_PAGE_ACCESS_TABLE */  #else   /* USE_PAGE_ACCESS_TABLE */
 static const BYTE page_access_bit[32] = {  static const BYTE page_access_bit[32] = {
         1,      /* CR0: n, CPL: s, PTE: s, PTE: r, ope: r */          1,      /* CR0: n, CPL: s, PTE: s, PTE: r, ope: r */
Line 230  static const BYTE page_access_bit[32] =  Line 143  static const BYTE page_access_bit[32] = 
         1,      /* CR0: p, CPL: s, PTE: u, PTE: r, ope: r */          1,      /* CR0: p, CPL: s, PTE: u, PTE: r, ope: r */
         0,      /* CR0: p, CPL: s, PTE: u, PTE: r, ope: w */          0,      /* CR0: p, CPL: s, PTE: u, PTE: r, ope: w */
         1,      /* CR0: p, CPL: s, PTE: u, PTE: w, ope: r */          1,      /* CR0: p, CPL: s, PTE: u, PTE: w, ope: r */
         0,      /* CR0: p, CPL: s, PTE: u, PTE: w, ope: w */          1,      /* CR0: p, CPL: s, PTE: u, PTE: w, ope: w */
   
         0,      /* CR0: p, CPL: u, PTE: s, PTE: r, ope: r */          0,      /* CR0: p, CPL: u, PTE: s, PTE: r, ope: r */
         0,      /* CR0: p, CPL: u, PTE: s, PTE: r, ope: w */          0,      /* CR0: p, CPL: u, PTE: s, PTE: r, ope: w */
Line 279  static void tlb_update(DWORD paddr, DWOR Line 192  static void tlb_update(DWORD paddr, DWOR
   
   
 DWORD MEMCALL  DWORD MEMCALL
 cpu_linear_memory_read(DWORD laddr, DWORD length, int code)  cpu_linear_memory_read(DWORD laddr, DWORD length, int crw, int user_mode)
 {  {
         DWORD paddr;          DWORD paddr;
         DWORD remain;   /* page remain */          DWORD remain;   /* page remain */
         DWORD r;          DWORD r;
           DWORD shift = 0;
         DWORD value = 0;          DWORD value = 0;
         int crw;  
         int pl;  
   
         crw = CPU_PAGING_PAGE_READ;  
         crw |= code ? CPU_PAGING_PAGE_CODE : CPU_PAGING_PAGE_DATA;  
         pl = (CPU_STAT_CPL == 3);  
   
         /* XXX: 4MB pages... */          /* XXX: 4MB pages... */
         remain = 0x1000 - (laddr & 0x00000fff);          remain = 0x1000 - (laddr & 0x00000fff);
         for (;;) {          for (;;) {
                 paddr = paging(laddr, crw, pl);                  paddr = paging(laddr, crw, user_mode);
   
                 r = (remain > length) ? length : remain;                  r = (remain > length) ? length : remain;
                 switch (r) {                  switch (r) {
                 case 1:                  case 4:
                         value = (value << 8) | cpu_memoryread(paddr);                          value = cpu_memoryread_d(paddr);
                         break;  
   
                 case 2:  
                         value = (value << 16) | cpu_memoryread_w(paddr);  
                         break;                          break;
   
                 case 3:                  case 3:
                         value <<= 24;                          value |= (DWORD)cpu_memoryread(paddr) << shift;
                         value |= cpu_memoryread_w(paddr) << 8;                          shift += 8;
                         value |= cpu_memoryread(paddr + 2);                          paddr++;
                           /*FALLTHROUGH*/
                   case 2:
                           value |= (DWORD)cpu_memoryread_w(paddr) << shift;
                           shift += 16;
                         break;                          break;
   
                 case 4:                  case 1:
                         value = cpu_memoryread_d(paddr);                          value |= (DWORD)cpu_memoryread(paddr) << shift;
                           shift += 8;
                         break;                          break;
   
                 default:                  default:
                         ia32_panic("cpu_linear_memory_read(): out of range\n");                          ia32_panic("cpu_linear_memory_read(): out of range (r = %d)\n", r);
                         break;                          break;
                 }                  }
   
                 if (length == r)                  length -= r;
                   if (length == 0)
                         break;                          break;
   
                 length -= r;  
                 remain -= r;  
                 laddr += r;                  laddr += r;
                   remain -= r;
                   if (remain <= 0) {
                           /* next page */
                           remain += 0x1000;
                   }
         }          }
   
         return value;          return value;
 }  }
   
 void MEMCALL  void MEMCALL
 cpu_linear_memory_write(DWORD laddr, DWORD length, DWORD value)  cpu_linear_memory_write(DWORD laddr, DWORD value, DWORD length, int user_mode)
 {  {
         DWORD paddr;          DWORD paddr;
         DWORD remain;   /* page remain */          DWORD remain;   /* page remain */
         DWORD r;          DWORD r;
         int pl;          int crw = (CPU_PAGE_WRITE|CPU_PAGE_DATA);
   
         pl = (CPU_STAT_CPL == 3);  
   
         /* XXX: 4MB pages... */          /* XXX: 4MB pages... */
         remain = 0x1000 - (laddr & 0x00000fff);          remain = 0x1000 - (laddr & 0x00000fff);
         for (;;) {          for (;;) {
                 paddr = paging(laddr, CPU_PAGING_PAGE_WRITE|CPU_PAGING_PAGE_DATA, pl);                  paddr = paging(laddr, crw, user_mode);
   
                 r = (remain > length) ? length : remain;                  r = (remain > length) ? length : remain;
                 switch (r) {                  switch (r) {
                 case 1:                  case 4:
                         cpu_memorywrite(paddr, value);                          cpu_memorywrite_d(paddr, value);
                         value >>= 8;  
                         break;                          break;
   
                   case 3:
                           cpu_memorywrite(paddr, value & 0xff);
                           value >>= 8;
                           paddr++;
                           /*FALLTHROUGH*/
                 case 2:                  case 2:
                         cpu_memorywrite_w(paddr, value);                          cpu_memorywrite_w(paddr, value & 0xffff);
                         value >>= 16;                          value >>= 16;
                         break;                          break;
   
                 case 3:                  case 1:
                         cpu_memorywrite_w(paddr, value);                          cpu_memorywrite(paddr, value & 0xff);
                         cpu_memorywrite(paddr, value >> 16);                          value >>= 8;
                         value >>= 24;  
                         break;  
   
                 case 4:  
                         cpu_memorywrite_d(paddr, value);  
                         break;                          break;
   
                 default:                  default:
                         ia32_panic("cpu_linear_memory_write(): out of range\n");                          ia32_panic("cpu_linear_memory_write(): out of range (r = %d)\n", r);
                         break;                          break;
                 }                  }
   
                 if (length == r)                  length -= r;
                   if (length == 0)
                         break;                          break;
   
                 length -= r;  
                 remain -= r;  
                 laddr += r;                  laddr += r;
                   remain -= r;
                   if (remain <= 0) {
                           /* next page */
                           remain += 0x1000;
                   }
         }          }
 }  }
   
 void MEMCALL  void MEMCALL
 paging_check(DWORD laddr, DWORD length, int rw)  paging_check(DWORD laddr, DWORD length, int crw, int user_mode)
 {  {
         DWORD addr;          DWORD paddr;
         int n;          DWORD remain;   /* page remain */
         int pl;          DWORD r;
   
         pl = (CPU_STAT_CPL == 3);  
   
         /* XXX: 4MB pages... */          /* XXX: 4MB pages... */
         n = ((laddr & 0xfff) + length) / 0x1000;          remain = 0x1000 - (laddr & 0x00000fff);
         addr = (laddr & ~0xfff);          for (;;) {
         do {                  paddr = paging(laddr, crw, user_mode);
                 (void)paging(addr, rw, pl);  
                 addr += 0x1000;                  r = (remain > length) ? length : remain;
         } while (--n > 0);  
                   length -= r;
                   if (length == 0)
                           break;
   
                   laddr += r;
                   remain -= r;
                   if (remain <= 0) {
                           /* next page */
                           remain += 0x1000;
                   }
           }
 }  }
   
 static DWORD  static DWORD
Line 411  paging(DWORD laddr, int crw, int user_mo Line 334  paging(DWORD laddr, int crw, int user_mo
         DWORD pte_addr; /* page table entry address */          DWORD pte_addr; /* page table entry address */
         DWORD pte;      /* page table entry */          DWORD pte;      /* page table entry */
         DWORD bit;          DWORD bit;
         DWORD err = 0;          DWORD err;
   
 #if defined(IA32_SUPPORT_TLB)  #if defined(IA32_SUPPORT_TLB)
         if (tlb_lookup(laddr, crw, &paddr))          if (tlb_lookup(laddr, crw, &paddr))
                 return paddr;                  return paddr;
 #endif  /* IA32_SUPPORT_TLB */  #endif  /* IA32_SUPPORT_TLB */
   
         pde_addr = (CPU_CR3 & CPU_CR3_PD_MASK) | ((laddr >> 20) & 0xffc);          pde_addr = CPU_STAT_PDE_BASE | ((laddr >> 20) & 0xffc);
         pde = cpu_memoryread_d(pde_addr);          pde = cpu_memoryread_d(pde_addr);
         if (!(pde & CPU_PDE_PRESENT)) {          if (!(pde & CPU_PDE_PRESENT)) {
                 VERBOSE(("PDE is not present. (laddr = 0x%08x, pde_addr = 0x%08x, pde = 0x%08x)", laddr, pde_addr, pde));                  VERBOSE(("paging: PDE is not present"));
                   VERBOSE(("paging: CPU_CR3 = 0x%08x", CPU_CR3));
                   VERBOSE(("paging: laddr = 0x%08x, pde_addr = 0x%08x, pde = 0x%08x", laddr, pde_addr, pde));
                 err = 0;                  err = 0;
                 goto pf_exception;                  goto pf_exception;
         }          }
Line 430  paging(DWORD laddr, int crw, int user_mo Line 355  paging(DWORD laddr, int crw, int user_mo
                 cpu_memorywrite_d(pde_addr, pde);                  cpu_memorywrite_d(pde_addr, pde);
         }          }
   
   #if CPU_FAMILY >= 5
         /* no support PAE */          /* no support PAE */
         __ASSERT(!(CPU_CR4 & CPU_CR4_PAE));          __ASSERT(!(CPU_CR4 & CPU_CR4_PAE));
   
Line 442  paging(DWORD laddr, int crw, int user_mo Line 368  paging(DWORD laddr, int crw, int user_mo
   
                 /* make physical address */                  /* make physical address */
                 paddr = (pde & CPU_PDE_4M_BASEADDR_MASK) | (laddr & 0x003fffff);                  paddr = (pde & CPU_PDE_4M_BASEADDR_MASK) | (laddr & 0x003fffff);
         } else {          } else
   #endif  /* CPU_FAMILY >= 5 */
           {
                 /* 4KB page size */                  /* 4KB page size */
                 pte_addr = (pde & CPU_PDE_BASEADDR_MASK) | ((laddr >> 10) & 0xffc);                  pte_addr = (pde & CPU_PDE_BASEADDR_MASK) | ((laddr >> 10) & 0xffc);
                 pte = cpu_memoryread_d(pte_addr);                  pte = cpu_memoryread_d(pte_addr);
                 if (!(pte & CPU_PTE_PRESENT)) {                  if (!(pte & CPU_PTE_PRESENT)) {
                         VERBOSE(("PTE is not present. (laddr = 0x%08x, pde_addr = 0x%08x, pde = 0x%08x, pte_addr = 0x%08x, pte = 0x%08x)", laddr, pde_addr, pde, pte_addr, pte));                          VERBOSE(("paging: PTE is not present"));
                           VERBOSE(("paging: laddr = 0x%08x, pde_addr = 0x%08x, pde = 0x%08x", laddr, pde_addr, pde));
                           VERBOSE(("paging: pte_addr = 0x%08x, pte = 0x%08x", pte_addr, pte));
                         err = 0;                          err = 0;
                         goto pf_exception;                          goto pf_exception;
                 }                  }
Line 460  paging(DWORD laddr, int crw, int user_mo Line 390  paging(DWORD laddr, int crw, int user_mo
                 paddr = (pte & CPU_PTE_BASEADDR_MASK) | (laddr & 0x00000fff);                  paddr = (pte & CPU_PTE_BASEADDR_MASK) | (laddr & 0x00000fff);
         }          }
   
         bit  = crw & 1;          bit  = crw & CPU_PAGE_WRITE;
         bit |= (pde & pte & (CPU_PTE_WRITABLE|CPU_PTE_USER_MODE));          bit |= (pde & pte & (CPU_PTE_WRITABLE|CPU_PTE_USER_MODE));
         bit |= (user_mode << 3);          bit |= (user_mode << 3);
         bit |= (CPU_CR0 & CPU_CR0_WP) >> 12;          bit |= (CPU_CR0 & CPU_CR0_WP) >> 12;
Line 471  paging(DWORD laddr, int crw, int user_mo Line 401  paging(DWORD laddr, int crw, int user_mo
         if (!(page_access_bit[bit]))          if (!(page_access_bit[bit]))
 #endif  #endif
         {          {
                 VERBOSE(("page access violation. (laddr = 0x%08x, pde_addr = 0x%08x, pde = 0x%08x, pte_addr = 0x%08x, pte = 0x%08x, paddr = 0x%08x, bit = 0x%08x)", laddr, pde_addr, pde, pte_addr, pte, paddr, bit));                  VERBOSE(("paging: page access violation."));
                   VERBOSE(("paging: laddr = 0x%08x, pde_addr = 0x%08x, pde = 0x%08x", laddr, pde_addr, pde));
                   VERBOSE(("paging: pte_addr = 0x%08x, pte = 0x%08x", pte_addr, pte));
                   VERBOSE(("paging: paddr = 0x%08x, bit = 0x%08x", paddr, bit));
                 err = 1;                  err = 1;
                 goto pf_exception;                  goto pf_exception;
         }          }
   
         if ((crw & 1) && !(pte & CPU_PTE_DIRTY)) {          if ((crw & CPU_PAGE_WRITE) && !(pte & CPU_PTE_DIRTY)) {
                 pte |= CPU_PTE_DIRTY;                  pte |= CPU_PTE_DIRTY;
                 cpu_memorywrite_d(pte_addr, pte);                  cpu_memorywrite_d(pte_addr, pte);
         }          }
Line 489  paging(DWORD laddr, int crw, int user_mo Line 422  paging(DWORD laddr, int crw, int user_mo
   
 pf_exception:  pf_exception:
         CPU_CR2 = laddr;          CPU_CR2 = laddr;
         err |= ((crw & 1) << 1) | (user_mode << 2);          err |= ((crw & CPU_PAGE_WRITE) << 1) | (user_mode << 2);
         EXCEPTION(PF_EXCEPTION, err);          EXCEPTION(PF_EXCEPTION, err);
         return 0;       /* compiler happy */          return 0;       /* compiler happy */
 }  }
Line 569  tlb_init() Line 502  tlb_init()
         tlb_entry_flushes = 0;          tlb_entry_flushes = 0;
 #endif  /* IA32_PROFILE_TLB */  #endif  /* IA32_PROFILE_TLB */
   
         /* XXX プロセッサ種別にしたがって TLB 構成を構築する */  #if CPU_FAMILY == 4
   
         /* とりあえず i486 形式で… */          /* とりあえず i486 形式で… */
         /* combine (I/D) TLB: 4KB Pages, 4-way set associative 32 entries */          /* combine (I/D) TLB: 4KB Pages, 4-way set associative 32 entries */
         ntlb = 1;          ntlb = 1;
         tlb[0].kind = TLB_KIND_COMBINE | TLB_KIND_SMALL;          tlb[0].kind = TLB_KIND_COMBINE | TLB_KIND_SMALL;
         tlb[0].num = 32;          tlb[0].num = 32;
         tlb[0].way = 4;          tlb[0].way = 4;
         tlb[0].idx = tlb[0].num / tlb[0].way;  #endif
   
         for (i = 0; i < ntlb; i++) {          for (i = 0; i < ntlb; i++) {
                   tlb[i].idx = tlb[i].num / tlb[i].way;
   
                 tlb[i].entry = (TLB_ENTRY_T*)calloc(sizeof(TLB_ENTRY_T), tlb[i].num);                  tlb[i].entry = (TLB_ENTRY_T*)calloc(sizeof(TLB_ENTRY_T), tlb[i].num);
                 if (tlb[i].entry == 0) {                  if (tlb[i].entry == 0) {
                         ia32_panic("tlb_init(): can't alloc TLB entry\n");                          ia32_panic("tlb_init(): can't alloc TLB entry\n");
Line 652  tlb_lookup(DWORD laddr, int crw, DWORD*  Line 586  tlb_lookup(DWORD laddr, int crw, DWORD* 
   
         PROFILE_INC(tlb_lookups);          PROFILE_INC(tlb_lookups);
   
         crw &= CPU_PAGING_PAGE_CODE | CPU_PAGING_PAGE_DATA;          crw &= CPU_PAGE_CODE | CPU_PAGE_DATA;
         for (i = 0; i < ntlb; i++) {          for (i = 0; i < ntlb; i++) {
                 if (tlb[i].kind & crw) {                  if (tlb[i].kind & crw) {
                         if (tlb[i].idx == 1) {                          if (tlb[i].idx == 1) {
Line 696  tlb_update(DWORD paddr, DWORD entry, int Line 630  tlb_update(DWORD paddr, DWORD entry, int
   
         PROFILE_INC(tlb_updates);          PROFILE_INC(tlb_updates);
   
         crw &= CPU_PAGING_PAGE_CODE | CPU_PAGING_PAGE_DATA;          crw &= CPU_PAGE_CODE | CPU_PAGE_DATA;
         for (i = 0; i < ntlb; i++) {          for (i = 0; i < ntlb; i++) {
                 if (tlb[i].kind & crw) {                  if (tlb[i].kind & crw) {
                         if (tlb[i].idx == 1) {                          if (tlb[i].idx == 1) {
Line 743  tlb_update(DWORD paddr, DWORD entry, int Line 677  tlb_update(DWORD paddr, DWORD entry, int
         }          }
         __ASSERT(i != ntlb);          __ASSERT(i != ntlb);
 }  }
 #else   /* !IA32_SUPPORT_TLB */  
 void  
 tlb_init()  
 {  
   
         /* nothing to do */  
 }  
   
 void  
 tlb_flush(BOOL allflush)  
 {  
   
         (void)allflush;  
 }  
   
 void  
 tlb_flush_page(DWORD laddr)  
 {  
   
         (void)laddr;  
 }  
 #endif  /* IA32_SUPPORT_TLB */  #endif  /* IA32_SUPPORT_TLB */

Removed from v.1.3  
changed lines
  Added in v.1.10


RetroPC.NET-CVS <cvs@retropc.net>