|
|
| version 1.1, 2003/12/08 00:55:31 | version 1.2, 2003/12/11 15:06:50 |
|---|---|
| Line 272 static const BYTE page_access_bit[32] = | Line 272 static const BYTE page_access_bit[32] = |
| */ | */ |
| static DWORD paging(DWORD laddr, int crw, int user_mode); | static DWORD paging(DWORD laddr, int crw, int user_mode); |
| #if defined(IA32_SUPPORT_TLB) | |
| static BOOL tlb_lookup(DWORD vaddr, int crw, DWORD* paddr); | static BOOL tlb_lookup(DWORD vaddr, int crw, DWORD* paddr); |
| static void tlb_update(DWORD paddr, DWORD entry, int crw); | static void tlb_update(DWORD paddr, DWORD entry, int crw); |
| #endif | |
| DWORD MEMCALL | DWORD MEMCALL |
| Line 638 tlb_flush_page(DWORD vaddr) | Line 640 tlb_flush_page(DWORD vaddr) |
| } | } |
| } | } |
| BOOL | static BOOL |
| tlb_lookup(DWORD vaddr, int crw, DWORD* paddr) | tlb_lookup(DWORD vaddr, int crw, DWORD* paddr) |
| { | { |
| TLB_ENTRY_T* ep; | TLB_ENTRY_T* ep; |
| Line 680 tlb_lookup(DWORD vaddr, int crw, DWORD* | Line 682 tlb_lookup(DWORD vaddr, int crw, DWORD* |
| return FALSE; | return FALSE; |
| } | } |
| void | static void |
| tlb_update(DWORD paddr, DWORD entry, int crw) | tlb_update(DWORD paddr, DWORD entry, int crw) |
| { | { |
| TLB_ENTRY_T* ep; | TLB_ENTRY_T* ep; |
| Line 750 void | Line 752 void |
| tlb_flush(BOOL allflush) | tlb_flush(BOOL allflush) |
| { | { |
| // UNUSED(allflush); | (void)allflush; |
| } | } |
| void | void |
| tlb_flush_page(DWORD vaddr) | tlb_flush_page(DWORD vaddr) |
| { | { |
| // UNUSED(vaddr); | (void)vaddr; |
| } | } |
| #endif /* IA32_SUPPORT_TLB */ | #endif /* IA32_SUPPORT_TLB */ |